Window menu

The window menu is divided into two parts. The first one is composed of the window-related commands . The second one is the list of all opened development windows. Clicking any of these raises the selected development window, so that it becomes the top-level window.