miniworlds IDE
Python-IDE
IDE wird geöffnet …

Tastaturhilfe

Strg / + Enter
Programm im Code-Editor ausführen
Zwischen den Programmiersprachen wechseln, wenn die Tab-Leiste fokussiert ist
Pos1 / Ende
Erste bzw. letzte Sprache auswählen
F11
Browser-Vollbild umschalten

In der IDE funktionieren außerdem die üblichen Editor-Shortcuts wie Kopieren, Einfügen und Rückgängig.