diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-04-22 17:46:29 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-04-22 17:46:29 -0700 |
| commit | 0b243363d2e1d4cb6118cc7bb87e76b52a954e69 (patch) | |
| tree | e3f7d4132fcc83978d8a44ca2ec4bf5eeb32ce16 /Source/ModelViewer/Main.cs | |
| parent | 9a809d599762906ccd98ea4ec26b9f65c0ded320 (diff) | |
BVD: Smaller initial window (to better fit on a laptop screen)
Diffstat (limited to 'Source/ModelViewer/Main.cs')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index fa03858b..bb6d8c11 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -708,6 +708,10 @@ namespace Microsoft.Boogie.ModelViewer //linkLabel1.Font = font;
//label1.Font = font;
}
+
+ private void Main_Load(object sender, EventArgs e) {
+
+ }
}
internal class DisplayItem : ListViewItem
|