1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-11-12 21:09:57 +00:00
TiddlyWiki5/core/modules/editor
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
..
engines Allow global keyboard shortcuts to override all other shortcuts by providing a special field (#6735) 2022-10-07 17:31:04 +01:00
operations Fix toggling of the numbered list prefix in Markdown tiddlers (#6697) 2022-05-17 22:31:50 +02:00
factory.js Edit widget: remove default text "Type the text for the tiddler 'foo'" 2022-08-28 15:12:51 +01:00