The View menu entries now raise the window to the front if already open.
This is useful when too many windows are open.
Authored by: bugman 2011-09-16
Parent: [r14681]
Child: [r14683]