diff options
| author | Benjamin Poirier <bpoirier@suse.de> | 2012-08-23 18:55:06 (GMT) |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2012-09-27 16:09:24 (GMT) |
| commit | 5e609addb1bd963ce1a1929f2012c8dd04ca8620 (patch) | |
| tree | 6ec819fc7af3de4bfcddb3f42c2a2c0121ed2653 /block | |
| parent | 1d1e2caebbf1f4f25ad473e90650cdc9291fdd22 (diff) | |
| download | linux-5e609addb1bd963ce1a1929f2012c8dd04ca8620.tar.xz | |
menuconfig: Add jump keys to search results
makes it possible to jump directly to the menu for a configuration entry after
having searched for it with '/'. If this menu is not currently accessible we
jump to the nearest accessible parent instead. After exiting this menu, the
user is returned to the search results where he may jump further in or
elsewhere.
Signed-off-by: Benjamin Poirier <bpoirier@suse.de>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'block')
0 files changed, 0 insertions, 0 deletions