diff options
Diffstat (limited to 'Source/DafnyMenu')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenuPackage.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs index 7ff78c86..e078255d 100644 --- a/Source/DafnyMenu/DafnyMenuPackage.cs +++ b/Source/DafnyMenu/DafnyMenuPackage.cs @@ -298,6 +298,8 @@ namespace DafnyLanguage.DafnyMenu throw new NotSupportedException("Can not create BvdToolWindow.");
}
+ BvdToolWindow.BVD.HideMenuStrip();
+ BvdToolWindow.BVD.HideStateList();
BvdToolWindow.BVD.ReadModel(model);
BvdToolWindow.BVD.SetState(id, true);
|