Stefan Haller 4961c4b678 Avoid duplicate key bindings in options map ...

Sometimes there is a local and a global keybinding for the same key; if both are
configured to be shown in the options map, we should only show the local one
because it takes precedence. This happens for example for <esc> in a popup, or
for <esc> in the focused main view.

Note that this is also a problem in the keybindings menu, and we don't solve
that here.

2025-08-14 17:59:38 +02:00

4.6 KiB

Raw Blame History

View Raw