diff options
| author | DavePutz <dwputz@gmail.com> | 2020-02-18 10:38:50 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-18 10:38:50 -0600 |
| commit | aca53aa1a2c21ff46b609cfc270134ee6ee024f2 (patch) | |
| tree | 5f233a32357073aef67d6427b3b839a0e721470a /lib | |
| parent | e0b8529d8d1731c47068de26e61760c2aac3cb58 (diff) | |
Update readline.c for REPL Unicode issue 1905
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/mp-readline/readline.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/mp-readline/readline.c b/lib/mp-readline/readline.c index 9d254d8cf..0edaebbfa 100644 --- a/lib/mp-readline/readline.c +++ b/lib/mp-readline/readline.c @@ -206,7 +206,7 @@ int readline_process_char(int c) { redraw_step_forward = compl_len; } #endif - } else if (32 <= c && c <= 126) { + } else if (32 <= c ) { // printable character vstr_ins_char(rl.line, rl.cursor_pos, c); // set redraw parameters |