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
2022-03-17 17:06:24 +00:00
2019-10-13 15:35:36 +01:00
2021-12-06 16:59:13 +00:00
2016-07-06 01:10:51 +09:00
2022-05-14 13:30:04 +01:00
2022-05-23 09:14:02 +01:00
2020-12-01 15:51:07 +00:00
2018-03-06 16:14:50 +00:00
2022-05-23 09:14:02 +01:00
2019-06-10 17:54:20 +01:00
2021-12-06 16:59:13 +00:00
2014-12-21 19:32:42 +01:00
2022-03-17 17:06:24 +00:00
2022-03-16 15:30:06 +00:00
2016-07-06 01:10:51 +09:00
2020-11-29 18:32:22 +00:00
2022-05-23 09:14:02 +01:00
2022-10-07 17:31:04 +01:00
2022-05-05 08:30:05 +01:00
2021-11-17 12:13:01 +00:00
2019-10-13 15:35:36 +01:00
2021-11-21 22:19:54 +00:00
2022-07-29 14:16:09 +01:00
2021-04-06 13:13:12 +01:00
2022-01-23 09:44:01 +00:00
2021-11-18 08:58:41 +00:00
2018-03-05 11:36:16 +00:00
2021-08-29 17:50:28 +01:00
2016-05-02 08:34:30 +01:00
2021-12-06 16:59:13 +00:00
2021-12-06 16:59:13 +00:00
2022-05-05 08:30:05 +01:00
2018-01-13 15:39:44 +00:00
2021-11-29 09:21:50 +00:00
2015-02-24 17:41:16 +01:00
2019-06-12 22:03:01 +01:00
2021-12-06 16:59:13 +00:00
2021-12-06 16:59:13 +00:00
2022-01-09 10:18:11 +00:00
2017-11-11 11:56:20 +00:00
2014-11-21 17:06:12 +00:00
2022-06-20 13:55:12 +01:00
2017-02-27 16:38:57 +00:00
2016-10-15 16:23:17 +01:00
2022-05-23 08:56:10 +01:00
2016-07-06 01:10:51 +09:00
2020-05-06 09:40:42 +01:00
2021-12-06 16:59:13 +00:00
2021-12-06 16:59:13 +00:00
2014-09-11 15:52:47 +01:00
2018-11-27 21:12:44 +00:00
f33c7e2aef