Stefan Haller
9ec77bba91
Don't allow opening a menu while the search or filter prompt is open
...
This solves several problems that arise from opening a menu while the prompt is
open. We might try to solve these in a different way, e.g. by dismissing the
search prompt before opening a menu, but restricting what you can do while the
prompt is open seems like the more robust fix.
To achieve this, we
- call resetKeyBindings both when opening and when closing the search/filter
prompt
- change the keybindings to only contain the ones for the search prompt when
that context is active.
2024-09-02 18:31:30 +02:00
..
2024-09-02 18:31:30 +02:00
2023-04-30 13:19:52 +10:00
2023-04-30 13:19:52 +10:00
2024-08-18 10:24:52 +02:00
2024-04-18 10:10:30 +02:00
2024-08-27 10:33:06 +02:00
2024-01-19 10:50:49 +11:00
2024-08-24 10:21:30 +02:00
2024-08-24 10:21:30 +02:00
2024-08-28 19:51:15 +02:00
2023-04-30 13:19:53 +10:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-08-17 11:14:51 +02:00
2024-05-19 16:38:21 +10:00
2024-08-24 09:36:44 +10:00
2023-07-03 12:54:13 +10:00
2024-08-17 11:14:51 +02:00
2024-04-18 10:10:30 +02:00
2024-08-17 10:56:03 +02:00
2024-08-17 11:14:50 +02:00
2024-04-18 10:10:30 +02:00
2024-08-18 10:24:52 +02:00
2024-03-09 07:55:22 +01:00
2024-08-28 19:35:23 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-01-28 08:33:13 +11:00
2024-08-24 10:56:20 +02:00
2024-08-18 10:24:52 +02:00
2024-04-12 08:33:47 +02:00
2024-06-30 10:27:28 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:51 +02:00
2024-06-23 13:10:48 +02:00
2023-08-21 08:10:28 +02:00
2024-04-07 23:24:10 +08:00
2023-07-03 12:54:13 +10:00
2024-01-19 10:50:49 +11:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-08-24 10:36:01 +02:00
2024-08-28 19:35:23 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-28 19:51:15 +02:00
2024-01-23 13:03:37 +11:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:51 +02:00
2024-04-28 09:44:59 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-01-23 13:03:37 +11:00
2024-04-18 10:10:30 +02:00