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