diff options
author | Ally Donaldson <unknown> | 2013-07-22 10:05:15 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 10:05:15 +0100 |
commit | a07a5a6952ccba3543c74e4cd35406d0015f75da (patch) | |
tree | 77f388613aaa90c282b8c7b2050a6da6220d8a32 /Source/ModelViewer | |
parent | 3865388487bd6abb55b3cd41187128c26529dd26 (diff) | |
parent | dcb3b01e056b896e3752ef53f3e3c966ed3df9c3 (diff) |
Merge
Diffstat (limited to 'Source/ModelViewer')
-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;
|