From 704a19e2d65378b15ecc36fd7a82422810132f4b Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 10 Dec 2010 20:41:40 +0000
Subject: Add an icon. Get rid of SearchBox (not used).

---
 Source/ModelViewer/Main.Designer.cs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source/ModelViewer/Main.Designer.cs')

diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs
index 94f2c341..2c08f850 100644
--- a/Source/ModelViewer/Main.Designer.cs
+++ b/Source/ModelViewer/Main.Designer.cs
@@ -28,6 +28,7 @@
     private void InitializeComponent()
     {
       this.components = new System.ComponentModel.Container();
+      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Main));
       this.currentStateView = new System.Windows.Forms.ListView();
       this.name = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
       this.value = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
@@ -354,6 +355,7 @@
       this.ClientSize = new System.Drawing.Size(915, 726);
       this.Controls.Add(this.splitContainer1);
       this.Controls.Add(this.menuStrip1);
+      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
       this.Name = "Main";
       this.Text = "Boogie Verification Debugger";
       this.stateViewMenu.ResumeLayout(false);
-- 
cgit v1.2.3