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.

539ef2b0-ed6b-3cfb-5c9f-535fb25a987d