diff options
author | Michal Moskal <michal@moskal.me> | 2011-10-19 17:39:40 -0700 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-10-19 17:39:40 -0700 |
commit | 8206cc27ccb13a2ae1891dd35a7b5ea2401b4198 (patch) | |
tree | 9986e5e97ce8e1e14183335a1ac2361bda497a91 /Source/ModelViewer/DataModel.cs | |
parent | 591f20afa30dda0eb26392f7c2417a6b3213c7a6 (diff) |
BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users are clearly experts
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
-rw-r--r-- | Source/ModelViewer/DataModel.cs | 6 |
1 files changed, 5 insertions, 1 deletions
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;
}
|