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/plugins/text_editor.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/plugins/text_editor.h')
0 files changed, 0 insertions, 0 deletions