diff options
author | 2013-07-21 11:56:29 -0700 | |
---|---|---|
committer | 2013-07-21 11:56:29 -0700 | |
commit | dcb3b01e056b896e3752ef53f3e3c966ed3df9c3 (patch) | |
tree | e55d27bcdb5a6a16501d5a5fbd51c6eea8798da4 /Source/ModelViewer/Main.cs | |
parent | 51f2fa80a101ffae855c848ed83b889f1becbdd3 (diff) |
Changed the API to make it possible to set the current state in BVD.
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 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;
|