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