Commit Graph

9 Commits

Author SHA1 Message Date
jeremy@jermolene.com 3da0a9431c Introduce $:/tags/Global tag
And also $:/tags/Global/View and $:/tags/Global/View/Body
2023-05-09 15:46:54 +01:00
Maurycy Zarzycki f33c7e2aef
Allow global keyboard shortcuts to override all other shortcuts by providing a special field (#6735)
* allow global keyboard shortcuts to override all other shortcuts by providing a special field

* rework the global shortcuts taking priority

* replace bool option with options object in KeyboardManager's keydown handler

* update keyboard shortcut documentation to add information about the new priority setting

* add support for priority global keyboard shortcuts to code mirror

* update the feature's docs to point out it was/will be introduced in 5.2.4

* rollback unnecessary change
2022-10-07 17:31:04 +01:00
jeremy@jermolene.com acd2cbf56a Docs fixes from @fkohrt
See #4815
2020-08-14 15:04:01 +01:00
twMat 33ee650fb7
Update How to create keyboard shortcuts.div (#4732) 2020-06-27 13:11:32 +01:00
Jeremy Ruston 9395d75671 Fix sizes of SVG icons in documentation
Fixes #4153
2019-10-13 15:35:36 +01:00
BurningTreeC a4937224b7 More tweaks for "how to create keyboard shortcuts" (#3646)
readability, better wording
2018-12-16 18:24:33 +00:00
BurningTreeC a7cdb94957 Reformatting "How to create keyboard shortcuts" (#3633) 2018-12-14 21:49:40 +00:00
BurningTreeC 419ea9a243 Tweak for keyboard-shortcuts how-to (#3605) 2018-12-01 17:27:21 +00:00
BurningTreeC b18c85b85c Add How-To documentation for keyboard shortcuts (#3588)
* add link to "How to"  keyboard shortcuts + styles

* add "How to create keyboard shortcuts"

* Update How to create keyboard shortcuts.tid

* Update How to create keyboard shortcuts.tid

* Update How to create keyboard shortcuts.tid
2018-11-29 09:49:48 +00:00