Tastenkürzel

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üpunktTasteKomentar
nur u. Mac OS X
      Über Graveln.v.
 Einstellungen... ,
 Beenden Q
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
 Widerrufen Z
 Wiederholen Shift+Z
 Auswahl löschen Entf. Mac OS X: Rücklöschtaste
 Auswahl bearbeiten… M
 Auswahl anordnen… n.v.
 
      (un)gerichtetD
 mit/ohne SchleifenL
 mit/ohne Mehrfachkantenn.v.
 
  Standard4
  One-Click5
  Hyperkantenumriss…6bei Hypergraphen
 Raster-Einstellungen… R
 Kontrollpunkte anzeigen A
 
  50\%1
  100\%2
  200\%3
 Index F1
 Über Graveln.v. nur u. Windows
Tabelle 1: Tastenkürzel der Menüpunkte