diff options
author | 2010-10-14 21:46:15 +0000 | |
---|---|---|
committer | 2010-10-14 21:46:15 +0000 | |
commit | c3928e544f70dde0bfe3028c309b3d07bad543b5 (patch) | |
tree | 56837663eddaec4fe1819f0a28e5bf982000697b /Source/ModelViewer/Main.cs | |
parent | 1f1182331f611acc691550e83f8ea2fd6890091c (diff) |
Display state sequential numbers
Diffstat (limited to 'Source/ModelViewer/Main.cs')
-rw-r--r-- | Source/ModelViewer/Main.cs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index c1801f4c..3b5efd0d 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -53,10 +53,12 @@ namespace Microsoft.Boogie.ModelViewer unfoldingRoot = new SkeletonItem(this, states.Length);
unfoldingRoot.PopulateRoot(states);
+ var idx = 0;
foreach (var i in states) {
- var it = new ListViewItem(new string[] { i.Name, "" });
+ var it = new ListViewItem(new string[] { idx.ToString(), i.Name, "" });
it.Tag = i;
items.Add(it);
+ idx++;
}
stateList.Items.AddRange(items.ToArray());
unfoldingRoot.Expanded = true;
@@ -224,7 +226,7 @@ namespace Microsoft.Boogie.ModelViewer stateList.BeginUpdate();
for (int i = 0; i < sel.skel.displayNodes.Length; ++i) {
var dn = sel.skel.displayNodes[i];
- stateList.Items[i].SubItems[1].Text = DisplayItem.ValuesAsString(dn);
+ stateList.Items[i].SubItems[2].Text = DisplayItem.ValuesAsString(dn);
}
stateList.EndUpdate();
}
|