call fixConsole on raw_input prompt

handles ANSI escapes
2024-12-15 04:00:34 +08:00 · 2015-10-26 21:10:38 +01:00 · 2015-10-26 21:10:38 +01:00 · 2034f1670a
commit 2034f1670a
parent 051a33ffe0
1 changed files with 1 additions and 1 deletions
--- a/notebook/static/notebook/js/outputarea.js
+++ b/notebook/static/notebook/js/outputarea.js
@ -776,7 +776,7 @@ define([
            .append(
                $("<pre/>")
                .addClass("raw_input_prompt")
-                .text(content.prompt)
+                .html(utils.fixConsole(content.prompt))
                .append(
                    $("<input/>")
                    .addClass("raw_input")