From dcb3b01e056b896e3752ef53f3e3c966ed3df9c3 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 21 Jul 2013 11:56:29 -0700
Subject: Changed the API to make it possible to set the current state in BVD.

---
 Source/ModelViewer/Main.cs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Source/ModelViewer')

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;
-- 
cgit v1.2.3