Einfügen
Bearbeiten
Datei
Weitergeben
Bedienung mit der Tastatur
Pfeiltasten: Block oder Einfügestelle wählen. Pos1, Ende: erster oder letzter. Eingabetaste: bearbeiten. Alt und Pfeil auf oder ab: Block verschieben. Entfernen: löschen. Strg und C, X, V: kopieren, ausschneiden, einfügen. Escape: Auswahl aufheben.
Code-Gerüst anzeigen
Das Gerüst übersetzt ←, ≠, ≤, ≥, ∧, ∨, ¬ sowie „und“, „oder“, „nicht“ in Java-Schreibweise. Umgangssprachliche Anweisungen wie „gib summe aus“ werden als Kommentar übernommen und müssen von Hand ergänzt werden.