From 6f10dcf53d5fc8858ff3b088c294d66938ea050f Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 28 Jul 2013 19:28:24 -0700
Subject: Allow for certain visual elements of the model viewer to be hidden.

---
 Source/ModelViewer/Main.cs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'Source/ModelViewer')

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();
-- 
cgit v1.2.3