diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-04-17 03:25:40 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-04-17 03:26:08 +0200 |
| commit | 899bc77d837e9a2098449bd104bc640d99619194 (patch) | |
| tree | ee0b17a28880739f3fb8d3f370acea9ed101a52f /menuconfig.py | |
| parent | 13dda5843f79a02f2c6dadc6cfd99ca62679dde3 (diff) | |
menuconfig: _jump_to_dialog() comment nits
Make things a bit more compact.
Diffstat (limited to 'menuconfig.py')
| -rwxr-xr-x | menuconfig.py | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/menuconfig.py b/menuconfig.py index dc8372e..cde401e 100755 --- a/menuconfig.py +++ b/menuconfig.py @@ -1945,19 +1945,13 @@ def _jump_to_dialog(): # Returns True if the user jumped to a symbol, and False if the dialog was # canceled. - # Search text - s = "" - # Previous search text - prev_s = None - # Search text cursor position - s_i = 0 - # Horizontal scroll offset - hscroll = 0 + s = "" # Search text + prev_s = None # Previous search text + s_i = 0 # Search text cursor position + hscroll = 0 # Horizontal scroll offset - # Index of selected row - sel_node_i = 0 - # Index in 'matches' of the top row of the list - scroll = 0 + sel_node_i = 0 # Index of selected row + scroll = 0 # Index in 'matches' of the top row of the list # Edit box at the top edit_box = _styled_win("jump-edit") |
