diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-07 18:56:55 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-07 18:56:55 -0700 |
commit | 99d505ff5d7f8fcbf8ca13f506482b85761e21aa (patch) | |
tree | bbf7571368cb309793964d6c506dbe775246d1c5 /Util | |
parent | 5cd043ff68c7e46217f817705950a4c6ea404d44 (diff) |
DafnyExtension: new color (violet) for buffer snapshot sent to the verifier
Diffstat (limited to 'Util')
-rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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
};
|