diff options
| author |  MichalMoskal <unknown> | 2010-10-14 21:45:32 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-14 21:45:32 +0000 |
| commit | 0cc0ae1ee83d8901fcf79492926c414d62f8f416 (patch) | |
| tree | b8a32a2bf5eb156c5c8d3d7eeb8ef7fcff9f0fff /Source/ModelViewer/Main.cs | |
| parent | 2cf9c9394780b1affd5a764b269757310d977b7a (diff) | |
Implement struct printing
Diffstat (limited to 'Source/ModelViewer/Main.cs')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index ee882c74..65843cf6 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -142,6 +142,9 @@ namespace Microsoft.Boogie.ModelViewer var nameRect = rect;
var font = currentStateView.Font;
+ if ((item.displayNode.State & NodeState.Changed) != 0)
+ textBrush = Brushes.Red;
+
var sz = e.Graphics.MeasureString(item.displayNode.Name, font);
nameRect.Width = currentStateView.Columns[0].Width - 1 - off;
if (nameRect.Width < sz.Width + 2)
|