diff options
author | Michal Moskal <michal@moskal.me> | 2011-09-23 09:36:35 -0700 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-09-23 09:36:35 -0700 |
commit | a301c43eb80f9265de58709e1f47af2a86cc85da (patch) | |
tree | ecde8368a46907e6b80dde07c7687a076bee7b89 /Source/ModelViewer/Main.cs | |
parent | 27d09d03ccbc17f858fbb791cf6ef593bdc4048c (diff) |
Make sure items are visible when navigating the model with arrow keys
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();
}
|