Die Tastenkürzel in Gravel beziehen sich — mit einer Ausnahme — alle auf Menüpunkte. Daher ist hier im Folgenden das Menü aufgelistet. Die einzige Ausnahme bildet die Escape-Taste, welche einen aktuellen Dialog abbricht und zum Hauptfenster zurückkehrt.
Die Aktivierung der Tastenkürzel unterscheidet sich in den unterschiedlichen Betriebssystemen: Unter Mac OS X ist die Command- bzw. Apfeltaste (⌘-Taste) üblich, bei Windows und Linux ist zur Aktivierung die Strg-Taste zu verwenden. Daher ist diese Aktivierungstaste im Folgenden nie genannt.
Menüpunkt | Taste | Komentar | ||
Gravel | nur u. Mac OS X | |||
Über Gravel | n.v. | |||
Einstellungen... | , | |||
Beenden | Q | |||
Datei bzw. Ablage (Mac OS X) | ||||
Neuer Graph | N | |||
Öffnen… | O | |||
Speichern | S | |||
Speichern unter… | Shift+S | |||
Einstellungen… | P | nur u. Windows | ||
Export… | E | zu PNG, SVG oder \TeX | ||
Beenden | Q | nur u. Windows | ||
Bearbeiten | ||||
Widerrufen | Z | |||
Wiederholen | Shift+Z | |||
Auswahl löschen | Entf. | Mac OS X: Rücklöschtaste | ||
Auswahl bearbeiten… | M | |||
Auswahl anordnen… | n.v. | |||
Ansicht | ||||
Graph umformen (zu) (bei Graphen) | ||||
(un)gerichtet | D | |||
mit/ohne Schleifen | L | |||
mit/ohne Mehrfachkanten | n.v. | |||
Modus | ||||
Standard | 4 | |||
One-Click | 5 | |||
Hyperkantenumriss… | 6 | bei Hypergraphen | ||
Raster-Einstellungen… | R | |||
Kontrollpunkte anzeigen | A | |||
Zoom | ||||
50\% | 1 | |||
100\% | 2 | |||
200\% | 3 | |||
Hilfe | ||||
Index | F1 | |||
Über Gravel | n.v. | nur u. Windows |