Another hack for console, to fix double-prompting.

We really should use a different library / write our own terminal library from scratch. The ugly hacks are piling up.
plasma-umass · Apr 21, 2012 · 835e191 · 835e191
1 parent fc8ccfc
commit 835e191
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/browser/frontend.coffee b/browser/frontend.coffee
@@ -189,7 +189,7 @@ $(document).ready ->
 
   user_input = (n_bytes, resume) ->
     oldPrompt = controller.promptLabel
-    controller.promptLabel = '> '
+    controller.promptLabel = ''
     controller.reprompt()
     oldHandle = controller.commandHandle
     controller.commandHandle = (line) ->

diff --git a/third_party/jquery.console.js b/third_party/jquery.console.js
@@ -215,8 +215,17 @@
             enableInput();
             promptBox = $('<div class="jquery-console-prompt-box"></div>');
             var label = $('<span class="jquery-console-prompt-label"></span>');
-            var labelText = extern.continuedPrompt? extern.continuedPromptLabel :
-                                                    extern.promptLabel;
+            var labelText = extern.continuedPrompt ? extern.continuedPromptLabel :
+                                                     extern.promptLabel;
+            if (lastMsg) {
+              var text = lastMsg.text();
+              if (_.last(text) !== '\n') {
+                var lines = text.split('\n');
+                labelText = _.last(lines) + labelText;
+                lines.length--;
+                lastMsg.text(lines.join('\n'));
+              }
+            }
             promptBox.append(label.text(labelText).show());
             label.html(label.html().replace(' ','&nbsp;'));
             prompt = $('<span class="jquery-console-prompt"></span>');