diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-11-21 05:45:19 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-11-21 05:45:19 +0100 |
| commit | a5721347075f3855d17a2dc96ff9b099025c1223 (patch) | |
| tree | 8e77eaa6c59e25840c53ab3795ebdf34cb016d07 | |
| parent | 1da720400dba38c435022ba316c1c13a8babb76a (diff) | |
menuconfig: Mention that menus can be 'menuconfig' symbols
They're either proper menus, choices, or 'menuconfig' symbols.
| -rwxr-xr-x | menuconfig.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/menuconfig.py b/menuconfig.py index 80bfec2..88c3429 100755 --- a/menuconfig.py +++ b/menuconfig.py @@ -1000,7 +1000,8 @@ def _prefer_toggle(item): (isinstance(item, Choice) and len(item.assignable) > 1) def _enter_menu(menu): - # Makes 'menu' the currently displayed menu. "Menu" here includes choices. + # Makes 'menu' the currently displayed menu. "Menu" here includes choices + # and symbols defined with the 'menuconfig' keyword. global _cur_menu global _shown |