diff options
| -rw-r--r-- | Source/ModelViewer/Main.cs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index dfe24b6f..41f43621 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -245,6 +245,19 @@ namespace Microsoft.Boogie.ModelViewer UpdateMatches(true);
}
+ public void HideStateList()
+ {
+ stateList.Hide();
+ splitContainer1.Panel2.Hide();
+ splitContainer1.Panel2Collapsed = true;
+ splitContainer1.SplitterDistance = splitContainer1.Width;
+ }
+
+ public void HideMenuStrip()
+ {
+ menuStrip1.Hide();
+ }
+
internal void Activate(TreeNode treeNode)
{
throw new NotImplementedException();
|