[ros-diffs] [dquintana] 63811: [SHELL32] * Improve the view menu handler a bit. Now the view menu properly marks the current view as expected.