diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-22 22:15:02 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-22 22:42:36 +0200 |
| commit | 85ba6b2d8558ca812ef53b97fa18df9f98c1e6dc (patch) | |
| tree | 5b2b628873dd53af8c092f4a333874a415a80131 | |
| parent | 6023234566944b3ae06276b9a2227709b4fe0957 (diff) | |
menuconfig: Mention jump-to in info dialog help
Might be hard to discover that [/] works inside the info dialog
otherwise.
| -rwxr-xr-x | menuconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/menuconfig.py b/menuconfig.py index 83c0915..081496f 100755 --- a/menuconfig.py +++ b/menuconfig.py @@ -226,7 +226,7 @@ _MAIN_HELP_LINES = """ # Lines of help text shown at the bottom of the information dialog _INFO_HELP_LINES = """ -[ESC/q] Return to menu +[ESC/q] Return to menu [/] Jump to symbol """[1:-1].split("\n") # Lines of help text shown at the bottom of the search dialog |