Changed the API to make it possible to set the current state in BVD.

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;