From ba44ef189a6f921e1fb54410653623c1e19a085a Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 21 Jul 2013 14:55:29 -0700
Subject: DafnyExtension: Worked on improving the error selection and
 visualization.

---
 Source/DafnyMenu/DafnyMenuPackage.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/DafnyMenu')

diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs
index cb32f9fd..5481141c 100644
--- a/Source/DafnyMenu/DafnyMenuPackage.cs
+++ b/Source/DafnyMenu/DafnyMenuPackage.cs
@@ -238,6 +238,7 @@ namespace DafnyLanguage.DafnyMenu
         if (selectedError != null)
         {
           BvdToolWindow.BVD.ReadModel(selectedError.Model);
+          BvdToolWindow.BVD.SetState(selectedError.SelectedStateId, true);
         }
 
         IVsWindowFrame windowFrame = (IVsWindowFrame)window.Frame;
-- 
cgit v1.2.3