Menu Names and Commands
In this section:
File Menu
Edit menu
View Menu
Server Menu
Tools Menu
Help Menu
Parent topic:
Graphical User Interface (GUI)
