model viewer:

Hide and disable file menu when run in hosted mode

1 files changed, 8 insertions, 2 deletions

diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs
index 009a22a7..68027609 100644
--- a/Source/ModelViewer/Main.cs
+++ b/Source/ModelViewer/Main.cs
@@ -15,7 +15,7 @@ namespace Microsoft.Boogie.ModelViewer
 {

   public partial class Main : Form

   {

-    public string SearchText;

+    string SearchText;

     SkeletonItem unfoldingRoot;

     SkeletonItem[] allItems;

     int currentState, previousState = -1;

@@ -37,10 +37,16 @@ namespace Microsoft.Boogie.ModelViewer
       yield return Base.Provider.Instance;

     }

 

-    public Main(string[] args)

+    public Main(string[] args, bool runAsHostedWindow = false)

     {

       InitializeComponent();

 

+      if (runAsHostedWindow)

+      {

+        this.fileToolStripMenuItem.Enabled = false;

+        this.fileToolStripMenuItem.Visible = false;

+      }

+

       viewItems = new ToolStripMenuItem[] {

         normalToolStripMenuItem,

         expertToolStripMenuItem,