This menu contains an entry for each open window. Selecting a menu item makes the corresponding window come to the front.
![[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}