diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-14 19:55:49 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-14 20:09:59 +0200 |
| commit | 56f6611eadf4e2165ba29742dfd5ac6a76d60149 (patch) | |
| tree | 2c956b90c4358d4b68a6712d6e61db4f28b6457d | |
| parent | 41c026a706b1a3b8027f63938c4ad99af0ca9155 (diff) | |
menuconfig: Mention some potential (though never seen) ESCDELAY iffiness
| -rwxr-xr-x | menuconfig.py | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/menuconfig.py b/menuconfig.py index 52d0cbc..e4bff2c 100755 --- a/menuconfig.py +++ b/menuconfig.py @@ -658,7 +658,17 @@ def menuconfig(kconf): if _CONVERT_C_LC_CTYPE_TO_UTF8: _convert_c_lc_ctype_to_utf8() - # Get rid of the delay between pressing ESC and jumping to the parent menu + # Get rid of the delay between pressing ESC and jumping to the parent menu, + # unless the user has set ESCDELAY (see ncurses(3)). This makes the UI much + # smoother to work with. + # + # Note: This is strictly pretty iffy, since escape codes for e.g. cursor + # keys start with ESC, but I've never seen it cause problems in practice + # (probably because it's unlikely that the escape code for a key would get + # split up across read()s, at least with a terminal emulator). Please + # report if you run into issues. Some suitable small default value could be + # used here instead in that case. Maybe it's silly to not put in the + # smallest imperceptible delay here already, though I don't like guessing. os.environ.setdefault("ESCDELAY", "0") # Enter curses mode. _menuconfig() returns a string to print on exit, after |
