diff options
Diffstat (limited to 'Source/ModelViewer/Main.cs')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index f67b8497..1d55fc13 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -724,6 +724,9 @@ namespace Microsoft.Boogie.ModelViewer foreach (DisplayItem it in currentStateView.Items) {
it.Selected = it.skel == par;
it.Focused = it.skel == par;
+ if (it.Selected) {
+ it.EnsureVisible();
+ }
}
SyncCurrentStateView();
}
|