diff options
author | 2013-07-28 19:28:24 -0700 | |
---|---|---|
committer | 2013-07-28 19:28:24 -0700 | |
commit | 6f10dcf53d5fc8858ff3b088c294d66938ea050f (patch) | |
tree | 07fd5371af83d05383242c56eab1d584514f2d0e /Source/ModelViewer/Main.cs | |
parent | 4f04e945cf94f0cfb0ac713b0cd24767191381f8 (diff) |
Allow for certain visual elements of the model viewer to be hidden.
Diffstat (limited to 'Source/ModelViewer/Main.cs')
-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();
|