From c3928e544f70dde0bfe3028c309b3d07bad543b5 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 14 Oct 2010 21:46:15 +0000
Subject: Display state sequential numbers

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

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

diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs
index fb54aa2c..a8d7be4c 100644
--- a/Source/ModelViewer/Main.Designer.cs
+++ b/Source/ModelViewer/Main.Designer.cs
@@ -32,6 +32,7 @@
       this.value = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
       this.splitContainer1 = new System.Windows.Forms.SplitContainer();
       this.stateList = new System.Windows.Forms.ListView();
+      this.columnHeader3 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
       this.columnHeader1 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
       this.columnHeader2 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
@@ -97,6 +98,7 @@
       // stateList
       // 
       this.stateList.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
+            this.columnHeader3,
             this.columnHeader1,
             this.columnHeader2});
       this.stateList.Dock = System.Windows.Forms.DockStyle.Fill;
@@ -113,15 +115,20 @@
       this.stateList.View = System.Windows.Forms.View.Details;
       this.stateList.SelectedIndexChanged += new System.EventHandler(this.stateList_SelectedIndexChanged);
       // 
+      // columnHeader3
+      // 
+      this.columnHeader3.Text = "#";
+      this.columnHeader3.Width = 22;
+      // 
       // columnHeader1
       // 
       this.columnHeader1.Text = "State";
-      this.columnHeader1.Width = 112;
+      this.columnHeader1.Width = 109;
       // 
       // columnHeader2
       // 
       this.columnHeader2.Text = "Value";
-      this.columnHeader2.Width = 128;
+      this.columnHeader2.Width = 116;
       // 
       // Main
       // 
@@ -148,6 +155,7 @@
     private System.Windows.Forms.ListView stateList;
     private System.Windows.Forms.ColumnHeader columnHeader1;
     private System.Windows.Forms.ColumnHeader columnHeader2;
+    private System.Windows.Forms.ColumnHeader columnHeader3;
 
 
   }
-- 
cgit v1.2.3