diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-22 16:24:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-22 16:24:00 +0100 |
| commit | 5ab727b460febd1af6621e078f0eb3a8ea42ef75 (patch) | |
| tree | ac9c43044cca789da44638c66d78a479eb5e9cf7 /editor/editor_plugin.h | |
| parent | 25ebee328c58fe968d7314150580208253e4143b (diff) | |
| parent | 42685f514f4f730cd88f654fd8d162f10d6e1d53 (diff) | |
Merge pull request #43773 from Calinou/tweak-editor-help-default-shortcut
Bind the editor's Search Help function to F1 by default
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions