summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-16 13:37:48 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-16 13:37:48 +0100
commitba9d5eb671997a3a7b82eeb3eb04c0a3e5c3a966 (patch)
treeb9df6d84ca6381e49015fca54893338859df10fe
parent1ac2420d1fcf184c6162f6188c70ef63d4983352 (diff)
Add clear command for Prolog console
-rw-r--r--js/codeq/console.js8
-rw-r--r--js/codeq/prolog.js5
2 files changed, 13 insertions, 0 deletions
diff --git a/js/codeq/console.js b/js/codeq/console.js
index 5317355..13f1404 100644
--- a/js/codeq/console.js
+++ b/js/codeq/console.js
@@ -625,6 +625,14 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
this.reflow(startRow < originalCurrentRow ? startRow : originalCurrentRow);
},
+ 'clear': function () {
+ while (lines.length > 0)
+ this.removeRow(0, true);
+ lines.push({content: '', classNames: []});
+ currentRow = currentCol = 0;
+ this.reflow();
+ },
+
'insertAtCursor': function (text, className, dontMoveCursor) {
var startRow = currentRow,
currentLine = lines[currentRow],
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index e739b26..194f6a8 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -119,6 +119,11 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
terminal.append('?- ', 'output');
return;
}
+ if (command.match(/^clear\.*$/)) {
+ terminal.clear();
+ terminal.append('?- ', 'output');
+ return;
+ }
promptMode = false;
manualStop = false;
terminal.setNotBuffered();