Highlight initial state

1 files changed, 1 insertions, 0 deletions

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;

     }