Stefan Haller
7fe96e9aee
Include commands without keybinding in options menu
...
This is not a behavior change, we already include these in the menu, but that's
because of a bug that we will fix in the next commit.
I find it useful to see these commands, especially for rarely-used custom
commands that you don't want to waste a keybinding on.
2025-07-27 12:25:16 +02:00
..
2025-07-27 12:05:41 +02:00
2025-06-04 20:43:01 +02:00
2025-07-02 16:09:42 +02:00
2025-07-12 18:17:25 +02:00
2025-07-11 11:18:28 +02:00
2025-07-11 11:18:28 +02:00
2025-07-09 13:15:03 +02:00
2025-07-11 11:18:28 +02:00
2025-07-09 13:15:03 +02:00
2025-07-08 16:41:22 +02:00
2025-07-02 16:09:42 +02:00
2025-07-08 16:41:22 +02:00
2025-07-27 12:03:06 +02:00
2025-07-02 16:09:42 +02:00
2025-06-30 18:30:11 +02:00
2025-07-11 10:52:57 +02:00
2025-07-09 13:16:42 +02:00
2025-05-22 14:38:40 +02:00
2025-07-02 16:09:42 +02:00
2025-07-27 12:25:16 +02:00
2025-07-04 19:41:40 +02:00
2025-07-04 19:31:35 +02:00
2025-07-08 16:41:22 +02:00
2025-07-27 12:05:41 +02:00
2025-07-09 13:16:42 +02:00
2025-07-02 16:09:42 +02:00
2025-07-09 13:15:03 +02:00
2025-07-09 13:15:03 +02:00
2025-07-08 16:41:22 +02:00
2025-05-21 08:17:09 +02:00
2025-07-02 16:10:04 +02:00
2025-07-02 16:09:42 +02:00
2025-07-11 11:18:28 +02:00
2025-07-02 16:09:42 +02:00
2025-05-22 14:38:40 +02:00
2025-07-02 16:09:42 +02:00
2025-07-02 16:09:42 +02:00
2025-07-09 13:15:03 +02:00
2025-07-27 12:05:41 +02:00
2025-07-13 14:04:14 +02:00