diff options
| author |  MichalMoskal <unknown> | 2010-11-04 22:44:53 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-11-04 22:44:53 +0000 |
| commit | ac7906f4e1f400bbc1514b3576db2a4484021db0 (patch) | |
| tree | 99fc90cf06d5a77239cc06c8e242e2f06beb8e4d /Source/ModelViewer/Main.cs | |
| parent | b3ee26361e48e7b0dce59767c10e09be4e9fee44 (diff) | |
Update matches when switching states
Diffstat (limited to 'Source/ModelViewer/Main.cs')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index 4e20c6ef..37c7676b 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -91,7 +91,7 @@ namespace Microsoft.Boogie.ModelViewer void SetState(int id)
{
currentState = id;
- SyncCurrentStateView();
+ UpdateMatches(true);
}
internal void Activate(TreeNode treeNode)
@@ -318,6 +318,7 @@ namespace Microsoft.Boogie.ModelViewer if (changed) {
SyncListView(matches, matchesList, (di, _) => { di.IsMatchListItem = true; });
+ SyncCurrentStateView();
}
}
|