diff options
author | 2013-07-22 14:34:49 +0100 | |
---|---|---|
committer | 2013-07-22 14:34:49 +0100 | |
commit | 4c2312777919bdd02ec735d6297adba605e03f75 (patch) | |
tree | e50d0d71d6f81cdec532afcb8ca2f31dc3c5ffef /Source/ModelViewer/Main.cs | |
parent | a9a9bde95e700ef77ea5fee4ed7dd5a2fe04a46a (diff) | |
parent | a07a5a6952ccba3543c74e4cd35406d0015f75da (diff) |
merge
Diffstat (limited to 'Source/ModelViewer/Main.cs')
-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 0e0c6093..dfe24b6f 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;
|