You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Browsing tools
 Windows tool

 Topics:

 Introduction
 Window list
 Window related commands
 Window menu