diff options
| -rw-r--r-- | Source/ModelViewer/Main.cs | 10 |
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,
|