diff options
| -rw-r--r-- | Source/ModelViewer/Main.cs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index 1caed654..46342a9f 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -231,8 +231,13 @@ namespace Microsoft.Boogie.ModelViewer stateList.Columns[1].Width = stateList.Width - stateList.Columns[0].Width - stateList.Columns[2].Width - 25;
}
- void SetState(int id)
+ public void SetState(int id, bool updateView = false)
{
+ if (updateView)
+ {
+ stateList.SelectedIndices.Clear();
+ stateList.SelectedIndices.Add(id);
+ }
if (currentState != id) {
previousState = currentState;
currentState = id;
|