From 8206cc27ccb13a2ae1891dd35a7b5ea2401b4198 Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Wed, 19 Oct 2011 17:39:40 -0700
Subject: BVD: Default to expert view; Only VCC uses that stuff now, and all
 VCC users are clearly experts

---
 Source/ModelViewer/DataModel.cs     | 6 +++++-
 Source/ModelViewer/Main.Designer.cs | 4 ++--
 2 files changed, 7 insertions(+), 3 deletions(-)

(limited to 'Source/ModelViewer')

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index 4a1acb42..b6ec0bae 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -7,7 +7,11 @@ namespace Microsoft.Boogie.ModelViewer
 {
   public class ViewOptions
   {
-    public int ViewLevel;
+    // 0 - Normal
+    // 1 - Expert
+    // 2 - Everything
+    // 3 - Include the kitchen sink
+    public int ViewLevel = 1;
     public bool DebugMode;
   }
 
diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs
index 91d526d2..a58e7354 100644
--- a/Source/ModelViewer/Main.Designer.cs
+++ b/Source/ModelViewer/Main.Designer.cs
@@ -363,8 +363,6 @@
       // 
       // normalToolStripMenuItem
       // 
-      this.normalToolStripMenuItem.Checked = true;
-      this.normalToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
       this.normalToolStripMenuItem.Name = "normalToolStripMenuItem";
       this.normalToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.N)));
       this.normalToolStripMenuItem.Size = new System.Drawing.Size(240, 22);
@@ -373,6 +371,8 @@
       // 
       // expertToolStripMenuItem
       // 
+      this.expertToolStripMenuItem.Checked = true;
+      this.expertToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
       this.expertToolStripMenuItem.Name = "expertToolStripMenuItem";
       this.expertToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.X)));
       this.expertToolStripMenuItem.Size = new System.Drawing.Size(240, 22);
-- 
cgit v1.2.3