diff options
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)
|