- Status Unbestätigt
- Percent Complete
- Task Type Wunsch / Idee
- Category GUI & Server → GUI
- Assigned To No-one
- Operating System All
- Severity Low
- Reported Version 3.1.1 Beta x
- Due in Version Undecided
-
Due Date
Undecided
- Votes
- Private
FS#2895 - Benutzerdefinierte Shortcut für Kommandozeile
Wie im Projektgespräch vom 06.08.2017 vorgeschlagen sollte der Shortcut zum Aufrufen der (geplanten) Kommandozeile vom Benutzer einstellbar sein. Die aktuelle Belegung F12 aus dem Input Assignment zu entfernen, könnte umgekehrt Verwirrung stiften und es würde sowieso dieser Vorschlag unterbreitet werden.