diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-13 08:48:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-13 08:48:37 +0100 |
| commit | 01f34255940cac5143901b7e64170c636436c274 (patch) | |
| tree | 7ab2d46152d9e291ed7e7a5ad4cff311c5b78cd5 /editor/code_editor.h | |
| parent | d39284a65fec4d62d56972e03e7aa7042ad673ea (diff) | |
| parent | 75e82417a64c29ae54db7c620a314da622aa2def (diff) | |
Merge pull request #34304 from Calinou/improve-editor-shortcuts-search
Don't search in unassigned shortcut labels in the editor shortcuts
Diffstat (limited to 'editor/code_editor.h')
0 files changed, 0 insertions, 0 deletions