DafnyExtension: new color (violet) for buffer snapshot sent to the ve…

…rifier
atomb · Sep 8, 2012 · 99d505f · 99d505f
1 parent 5cd043f
commit 99d505f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
@@ -31,7 +31,7 @@ internal class ProgressMarginGlyphFactory : IGlyphFactory
  }
 
  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
  };