Download Wing IDE Personal Benutzerhandbuch

116
edit.tab-key-action
Daten Spezifikation:
[dict; keys: <type str>, Werte: <type str>]
Standardeinstellung:
{’*’: ’--default--’, ’text/x-python’: ’--default--’}
Benutzerdefinierte Tastaturbefehle
Tastaturbefehle in der Datei für Tastaturbefehle überschreiben. Um einen Tastaturbefehl einzufügen, müssen Sie den Eingabebereich aktivieren und die gewünschte Tastenkombination eingeben. Die Befehle sind im Benutzerhandbuch, Abschnitt Befehlsreferenz, dokumentiert oder sie können den Namen eines benutzerdefinierten Skripts, das in
Wing IDE geladen wurde, verwenden.
Interner Name:
gui.keymap-override
Daten Spezifikation:
[dict; keys: <type str>, Werte: <type str>]
Standardeinstellung:
{}
Zeitabschaltung für Buchstabenfolgen
Stellt die für die Tastatureingabe verwendete Zeitabschaltung in Sekunden ein, nach der
die betätigten Tasten als eine separate Gruppe von Zeichen betrachtet werden. Dies wird
für Auswahlmöglichkeiten mit der Tastatur auf Listen oder in anderen GUI Bereichen
verwendet. Vor der Zeitabschaltung werden die nachfolgenden Tasten zu den vorherigen
hinzugefügt, um die Auswahl während der Tastaturnavigation zu verbessern.
Interner Name:
gui.typing-group-timeout