diff options
| author | Benjamin Poirier <bpoirier@suse.de> | 2012-08-23 14:55:08 -0400 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2012-09-27 18:09:24 +0200 |
| commit | 95ac9b3b585d20df116c5bea1511d9eb5758ac81 (patch) | |
| tree | c106d3003823ecbda997f295c75974385d560b9e /tools | |
| parent | 1a374ae6191e9c440f1953a264a94d38173737be (diff) | |
menuconfig: Assign jump keys per-page instead of globally
At the moment, keys 1-9 are assigned to the first 9 search results. This patch
makes them assigned to the first 9 results per-page instead. We are much less
likely to run out of keys that way.
Signed-off-by: Benjamin Poirier <bpoirier@suse.de>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions