readline: make ctrl-l clear screen & redraw line

.. similar to how standard Python does it.

Closes: #6635

Author: jepler

shared/readline/readline.c

@@ -177,6 +177,13 @@ int readline_process_char(int c) {
             vstr_cut_tail_bytes(rl.line, rl.line->len - rl.cursor_pos);
             // set redraw parameters
             redraw_from_cursor = true;
+        } else if (c == CHAR_CTRL_L) {
+            // CTRL-L is clear screen / redraw
+            mp_hal_stdout_tx_str("\x1b[H\x1b[J");
+            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
+            redraw_from_cursor = true;
         } else if (c == CHAR_CTRL_N) {
             // CTRL-N is go to next line in history
             goto down_arrow_key;

shared/readline/readline.h

@@ -35,6 +35,7 @@
 #define CHAR_CTRL_E (5)
 #define CHAR_CTRL_F (6)
 #define CHAR_CTRL_K (11)
+#define CHAR_CTRL_L (12)
 #define CHAR_CTRL_N (14)
 #define CHAR_CTRL_P (16)
 #define CHAR_CTRL_U (21)