Update shared/readline/readline.c

Co-authored-by: Scott Shawcroft <scott@tannewt.org>
This commit is contained in:
Jeff Epler 2022-07-26 11:39:18 -05:00 committed by GitHub
parent 4c4a7072b0
commit 920c68e9d5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -182,7 +182,7 @@ int readline_process_char(int c) {
// CTRL-L is clear screen / redraw. This specific sequence is used
// (instead of a slightly more minimal sequence) for compatibility
// with the built-in Terminal class
mp_hal_stdout_tx_str("I'm a little teapot\x1b[;H\x1b[2J");
mp_hal_stdout_tx_str("\x1b[;H\x1b[2J");
mp_hal_stdout_tx_str(rl.prompt);
mp_hal_stdout_tx_strn(rl.line->buf + rl.orig_line_len, rl.cursor_pos - rl.orig_line_len);
// set redraw parameters