diff options
| -rw-r--r-- | Source/ModelViewer/Main.cs | 1 |
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;
}
|