This method is called when the user selects items of the View menu.
Updates the interactions and definitions windows based on the contents of the menus.
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}