Allow for certain visual elements of the model viewer to be hidden.

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();