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

..

framed.js

Allow global keyboard shortcuts to override all other shortcuts by providing a special field (#6735)

2022-10-07 17:31:04 +01:00

simple.js

Provide actionValue variable to actions fired by EditTextWidget (#6145)

2021-10-28 19:15:50 +01:00