lib/pyexec: For paste mode use "Ctrl" as the name of the key, not "CTRL".

dpgeorge · dpgeorge · commit dde0c204e730 · 2015-11-03T00:33:56.000Z
diff --git a/lib/utils/pyexec.c b/lib/utils/pyexec.c
@@ -410,7 +410,7 @@ int pyexec_friendly_repl(void) {
             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();
