From 0cc0ae1ee83d8901fcf79492926c414d62f8f416 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 14 Oct 2010 21:45:32 +0000
Subject: Implement struct printing

---
 Source/ModelViewer/Main.cs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Source/ModelViewer/Main.cs')

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)
-- 
cgit v1.2.3