diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-11-07 06:38:26 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-11-07 06:48:29 +0100 |
| commit | b810bdaf3c7ea436b78cb81fca4a1c5e1ff5079f (patch) | |
| tree | 01f01ecd03a80bc459e05c2f89028d55038dd1d8 /examples | |
| parent | 41c271b8cbe19e45809a0a9d3f5426bc0b664e29 (diff) | |
menuconfig: Support HOME and END in the jump-to dialog
Oversight. END can be handy for viewing all choices, menus, and
comments, which appear at the end.
Also support Ctrl-D as an alias for Page Down. Ctrl-U is already used by
the edit box (erase to beginning of line).
Also change the jump-to dialog title to hint that other things besides
symbols can be jumped to.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions