keymap_ui: Dim keybinds that are overridden by other keybinds (#34952)

Browse source

This change dims rows in the keymap editor for which the corresponding
keybind is overridden by other keybinds coming from higher priority
sources.

Release Notes:

- N/A

...

This commit is contained in:

Finn Evers 2025-07-23 18:03:04 +02:00 • committed by GitHub

parent 326fe05b33

commit 8713c556d6

No known key found for this signature in database

GPG key ID: B5690EEEBB952194

4 changed files with 602 additions and 347 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

909

crates/settings_ui/src/keybindings.rs

View file

File diff suppressed because it is too large Load diff