Implement console history and enable it with python problems.

1 files changed, 66 insertions, 4 deletions

diff --git a/js/codeq/console.js b/js/codeq/console.js
index 57d5a07..55e9909 100644
--- a/js/codeq/console.js
+++ b/js/codeq/console.js
@@ -10,8 +10,8 @@
         '000': {
             'ArrowLeft': function () { this.moveLeft(); return false; },
             'ArrowRight': function () { this.moveRight(); return false; },
-            'ArrowUp': noop,
-            'ArrowDown': noop,
+            'ArrowUp': function () { this.showPreviousHistory(); return false; },
+            'ArrowDown': function () { this.showNextHistory(); return false; },
             'Backspace':  function () { this.deleteCharacterLeft(); return false; },
             'Delete': function () { this.deleteCharacterRight(); return false; },
             'End': function () { this.moveToEndOfLine(); return false; },
@@ -168,6 +168,10 @@
             jqInput = $('<textarea style="left: -9999px; bottom: 0; width: 2px; position: absolute;"></textarea>'), // for receiving keypresses, clipboard content
             inputDisabled = false, // whether to ignore input
             lineBuffered = true, // whether we are line-buffered or not buffered
+            autoHistory = (options && options.autoHistory) || false, // whether to auto-decide what goes into the history buffer
+            history = [], // the list of entered lines, it is only appended
+            currentHistory = [], // the list of entered lines, some possibly modified (it is copied from history on each new line editing)
+            currentHistoryIndex = -1,
 
             renderSpan = function (lineDescriptor, startCol, length) {
                 var jqLine = lineDescriptor.jqLine,
@@ -431,6 +435,20 @@
                     jqElt.scrollTop(dh);
             },
 
+            stashCurrentHistory = function () {
+                var leftmost = typeof handler.leftmostCol === 'number' && handler.leftmostCol || 0,
+                    lineDescriptor = lines[currentRow],
+                    line = lineDescriptor.content.substring(leftmost);
+                if (currentHistoryIndex < 0) {
+                    currentHistoryIndex = currentHistory.length;
+                    currentHistory.push(line);
+                }
+                else {
+                    currentHistory[currentHistoryIndex] = line;
+                }
+                return lineDescriptor;
+            },
+
             // the handler object that is returned
             handler = {
                 'setLineBuffered': function () { lineBuffered = true; },
@@ -735,6 +753,46 @@
                     jqElt.empty();
                     jqElt = null;
                     options = null;
+                },
+
+                'addHistory': function (line) {
+                    history.push(line);
+                },
+
+                'currentInput': function () {
+                    var leftmost = typeof handler.leftmostCol === 'number' && handler.leftmostCol || 0;
+                    return lines[currentRow].content.substring(leftmost);
+                },
+
+                'resetCurrentHistory': function () {
+                    var i;
+                    currentHistory.length = 0;
+                    for (i = 0; i < history.length; i++) currentHistory.push(history[i]);
+                    currentHistoryIndex = -1;
+                },
+
+                'showPreviousHistory': function () {
+                    var leftmost = typeof handler.leftmostCol === 'number' && handler.leftmostCol || 0,
+                        lineDescriptor = stashCurrentHistory();
+                    if (currentHistoryIndex > 0) {
+                        currentHistoryIndex--;
+                        lineDescriptor.content = lineDescriptor.content.substring(0, leftmost) + currentHistory[currentHistoryIndex];
+                        currentCol = lineDescriptor.content.length;
+                        lineDescriptor.classNames = mergeClasses(classesBetween(lineDescriptor.classNames, 0, leftmost), makeClassDescriptor('input', leftmost, currentCol - leftmost));
+                        renderLine(lineDescriptor);
+                    }
+                },
+
+                'showNextHistory': function () {
+                    var leftmost = typeof handler.leftmostCol === 'number' && handler.leftmostCol || 0,
+                        lineDescriptor = stashCurrentHistory();
+                    if (currentHistoryIndex < (currentHistory.length - 1)) {
+                        currentHistoryIndex++;
+                        lineDescriptor.content = lineDescriptor.content.substring(0, leftmost) + currentHistory[currentHistoryIndex];
+                        currentCol = lineDescriptor.content.length;
+                        lineDescriptor.classNames = mergeClasses(classesBetween(lineDescriptor.classNames, 0, leftmost), makeClassDescriptor('input', leftmost, currentCol - leftmost));
+                        renderLine(lineDescriptor);
+                    }
                 }
             },
 
@@ -775,7 +833,8 @@
                         .then(scrollCursorIntoView) // scroll to bottom on input
                         .then((function (cookedLine, cookedLineIndex) {return function () {
                             var thisRow = currentRow,
-                                leftmost = typeof handler.leftmostCol === 'number' && handler.leftmostCol || 0;
+                                leftmost = typeof handler.leftmostCol === 'number' && handler.leftmostCol || 0,
+                                line;
 
                                 if (cookedLine) handler.insertAtCursor(cookedLine, 'input'); // append what we have to the display
                                 if (cookedLineIndex < lastCookedLineIndex) {
@@ -791,7 +850,10 @@
                                         if (thisRow < currentRow) {
                                             // in line-buffered mode emit each line separately, except for the last (current) line
                                             try {
-                                                return handler.onInput(lines[thisRow].content.substring(leftmost));
+                                                line = lines[thisRow].content.substring(leftmost);
+                                                if (autoHistory) handler.addHistory(line); // auto-history works only in line-buffered mode
+                                                handler.resetCurrentHistory();
+                                                return handler.onInput(line);
                                             }
                                             catch (e) {
                                                 codeq.log.error('Error while invoking terminal onInput: ' + e, e);