From dde0c204e7305d67dc328090b5399f2883a4f423 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 3 Nov 2015 00:33:56 +0000
Subject: [PATCH] lib/pyexec: For paste mode use "Ctrl" as the name of the key,
not "CTRL".
---
lib/utils/pyexec.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/utils/pyexec.c b/lib/utils/pyexec.c
index 116a41d35..abf74d6db 100644
--- a/lib/utils/pyexec.c
+++ b/lib/utils/pyexec.c
@@ -410,7 +410,7 @@ friendly_repl_reset:
return PYEXEC_FORCED_EXIT;
} else if (ret == CHAR_CTRL_E) {
// paste mode
- mp_hal_stdout_tx_str("\r\npaste mode; CTRL-C to cancel, CTRL-D to finish\r\n=== ");
+ mp_hal_stdout_tx_str("\r\npaste mode; Ctrl-C to cancel, Ctrl-D to finish\r\n=== ");
vstr_reset(&line);
for (;;) {
char c = mp_hal_stdin_rx_chr();
--
GitLab