From da38b9916a6e7f3b5920034ee4c9d3247e538ba5 Mon Sep 17 00:00:00 2001 From: Unknown Date: Fri, 7 Sep 2012 18:56:55 -0700 Subject: DafnyExtension: new color (violet) for buffer snapshot sent to the verifier --- Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util') diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs index 286047ec..7fdf38a6 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs @@ -31,7 +31,7 @@ namespace DafnyLanguage } System.Windows.Shapes.Rectangle sh = new Rectangle() { - Fill = dtag.Val == 0 ? new SolidColorBrush(Color.FromRgb(255, 238, 98)) : Brushes.DarkOrange, + Fill = dtag.Val == 0 ? Brushes.Violet : Brushes.DarkOrange, Height = 18.0, Width = 3.0 }; -- cgit v1.2.3