diff options
| author |  wuestholz <unknown> | 2013-07-28 17:59:48 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-28 17:59:48 -0700 |
| commit | 05179a532c845a1b676a2dad448bd897f0b387af (patch) | |
| tree | bcd79d30e1f895e8229f8631bae0e1a2fad36308 /Source/DafnyMenu | |
| parent | ce44cbc565acfbe551e6aabac4745f00015c75ea (diff) | |
DafnyExtension: Hide the state list and the menu strip in BVD.
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);
|