diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-12 14:52:49 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-12 14:53:46 +0100 |
| commit | 75e82417a64c29ae54db7c620a314da622aa2def (patch) | |
| tree | 38bab5e8e7d1823197125bdfebc0e1e8a113f94f /editor/editor_plugin.h | |
| parent | 234fab949a1ff7214c4de91c66c897535d28e5a7 (diff) | |
Don't search in unassigned shortcut labels in the editor shortcuts
This also fades out shortcut labels for unassigned shortcuts,
which makes for easier visual grepping.
This closes #33299.
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions