GGU-SHRINKAGE -e

GGU-SHRINKAGE: Description of menu items

• GGU-SHRINKAGE: File menu
• GGU-SHRINKAGE: Edit menu
• GGU-SHRINKAGE: Graphics preferences menu
• GGU-SHRINKAGE: Output preferences menu

GGU-SHRINKAGE: Info menu

• GGU-SHRINKAGE: "Copyright" menu item
• GGU-SHRINKAGE: "Maxima" menu item
• GGU-SHRINKAGE: "Help" menu item
• GGU-SHRINKAGE: "GGU on the web" menu item
• GGU-SHRINKAGE: "GGU support" menu item
• GGU-SHRINKAGE: "What's new?" menu item
• GGU-SHRINKAGE: "Language preferences" menu item

GGU-SHRINKAGE: Tips and tricks

• GGU-SHRINKAGE: Keyboard and mouse
• GGU-SHRINKAGE: Function keys
• GGU-SHRINKAGE: "Copy/print area" icon