Merge pull request #668 from minrk/fixConsolePrompt

call fixConsole on raw_input prompt
2024-12-15 04:00:34 +08:00 · 2015-10-26 14:17:34 -07:00 · 2015-10-26 14:17:34 -07:00 · 86415c42b5
commit 86415c42b5
parent 553a9ce46f 2034f1670a
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")