diff options
author | Kurtis Rader <krader@skepticism.us> | 2016-05-06 21:22:28 -0700 |
---|---|---|
committer | Kurtis Rader <krader@skepticism.us> | 2016-05-10 14:11:30 -0700 |
commit | b055b8440c87c69e7f92a81f114ee77f48940f66 (patch) | |
tree | 5e686c338bb775fac7277be9f82ffa18e89b3cdb /src/input_common.h | |
parent | 14d7b1a0fa4e9890a1d576cc0c5e04cca37e9ec7 (diff) |
enhance the key_reader program
The original `key_reader` program was useful but didn't do much that `xxd`
or `od -tx1z` didn't do. Furthermore, it wasn't built and installed by
default. This change adds features that make it superior to those programs
for decoding interactive key presses and makes it a first-class citizen
like the `fish_indent` program that is always available.
Fixes #2991
Diffstat (limited to 'src/input_common.h')
-rw-r--r-- | src/input_common.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/input_common.h b/src/input_common.h index d7bafe3f..e5778b70 100644 --- a/src/input_common.h +++ b/src/input_common.h @@ -85,6 +85,9 @@ void input_common_destroy(); /// Adjust the escape timeout. void update_wait_on_escape_ms(); +/// Set the escape timeout directly. +void set_wait_on_escape_ms(int ms); + /// Function used by input_readch to read bytes from stdin until enough bytes have been read to /// convert them to a wchar_t. Conversion is done using mbrtowc. If a character has previously been /// read and then 'unread' using \c input_common_unreadch, that character is returned. If timed is |