diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-16 18:12:56 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-16 18:12:56 -0700 |
| commit | a0ca883814db46d751c71b76734f63eeb9c08b92 (patch) | |
| tree | b22f907fb9b080fce9cabc28cc3f0d535a7e12af /Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | |
| parent | d3f1c2d417a64389a7ffa103b10f73ff3448875f (diff) | |
DafnyExtension: various improvements
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs')
| -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 ff1159ec..34dcce3c 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs @@ -30,7 +30,7 @@ namespace DafnyLanguage }
System.Windows.Shapes.Rectangle sh = new Rectangle() {
- Fill = dtag.Val == 0 ? Brushes.Goldenrod : Brushes.DarkOrange,
+ Fill = dtag.Val == 0 ? new SolidColorBrush(Color.FromRgb(255, 238, 98)) : Brushes.DarkOrange,
Height = 18.0,
Width = 3.0
};
|