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 | da38b9916a6e7f3b5920034ee4c9d3247e538ba5 (patch) | |
| tree | 1b68baa41708bc5213b7b15326c604a8356b6e25 /Util | |
| parent | 71a52b8d4b26047012e6aad9da0046f227b1459d (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
};
|