Simon Huber
f59d044a8c
Replace "×" with close-button in keyboard-shortcuts ( #4406 )
...
this PR replaces the `×` in the keyboard-shortcuts dropdown with the `$:/core/images/close-button`
2020-01-05 13:13:39 +00:00
Simon Huber
75ba862a7e
Fix "remove" tooltip in keyboard shortcuts ( #4405 )
...
this PR just fixes the tooltip of the small "remove" button in the keyboard-shortcut dropdown
2020-01-04 11:25:43 +00:00
Jeremy Ruston
dbaccf792d
Use the new "match" operator across the core
...
Instead of the old "prefix" hack
2019-07-31 09:30:16 +01:00
Simon Huber
87eab62b7e
Make the keyboard-shortcut input focus automatically ( #3776 )
...
* add focus capability to edit-shortcut widget
* focus the keyboard-shortcut inputs in the control panel
... there's no other reason why it could have been opened other than just pressing a shorcut ...
... saves the mouseclick
2019-03-02 17:25:49 +01:00
Jermolene
d650784dd6
Fix typo in keyboard shortcuts UI
2018-09-11 16:06:29 +01:00
Jeremy Ruston
2adf09129d
Introduce text editor toolbar ( #2315 )
...
Tada!
2016-04-22 08:36:29 +01:00
