diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-11-22 15:26:17 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-11-22 15:26:17 +0100 |
| commit | 42685f514f4f730cd88f654fd8d162f10d6e1d53 (patch) | |
| tree | ac9c43044cca789da44638c66d78a479eb5e9cf7 /thirdparty/misc | |
| parent | 25ebee328c58fe968d7314150580208253e4143b (diff) | |
Bind the editor's Search Help function to F1 by default
Now that the F1 key is available, we can bind Search Help to the key
generally used in other applications to open the help menu.
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions