GGU-LIME -e

GGU-LIME: Description of menu items

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

GGU-LIME: Info menu

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

GGU-LIME: Tips and tricks

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