diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-13 19:14:09 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-14 00:54:10 +0200 |
| commit | 96682d7132f9b2120c5e55754dc5cff1d00321de (patch) | |
| tree | 7cc13890edcc597806b35444282f08a32fd2aa9c /setup.py | |
| parent | fae2e70a894dc7b6ba625e11788f726d6a4d27a2 (diff) | |
menuconfig: Add jump-to for choices, menus, and comments
For choices, search the name and the prompt. This is the same as for
symbols, except names are optional (and rare) for choices.
For menus and comments, search the prompt (title text).
When jumping to a non-empty choice or menu, jump into it instead of
jumping to its menu node. If show-all mode is off and there are visible
items in the choice/menu, then jump to the first visible node.
Otherwise, enable show-all and jump to the first node.
Diffstat (limited to 'setup.py')
0 files changed, 0 insertions, 0 deletions