From dcc5ed185677b6892591d242583dc0fd2c33a858 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 3 Nov 2010 20:57:57 +0000
Subject: Highlight initial state

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

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

diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs
index 64160981..79a1d63c 100644
--- a/Source/ModelViewer/Main.cs
+++ b/Source/ModelViewer/Main.cs
@@ -82,6 +82,7 @@ namespace Microsoft.Boogie.ModelViewer
       stateList.Items.AddRange(items.ToArray());
       unfoldingRoot.Expanded = true;
       SetState(0);
+      stateList.Items[0].Selected = true;
 
       currentStateView.Columns[2].Width = currentStateView.Width - currentStateView.Columns[0].Width - currentStateView.Columns[1].Width - 5;
     }
-- 
cgit v1.2.3