summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-18 12:57:42 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-18 12:58:19 +0100
commit08d1d5bed045029fc389c8043f3a2adf83aa6308 (patch)
treeda5aaf1f7cf2ba8eec436f35d556fe45c7a1a69e
parent5b9b213b675e08b2dba6518d24257256113c1864 (diff)
Do not output "hint"/"test" in Prolog terminal
-rw-r--r--js/codeq/prolog.js4
1 files changed, 0 insertions, 4 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index 6b7da9c..a9a1c26 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -243,7 +243,6 @@
}
});
jqBtnHint.on('click', function () {
- terminal.append('hint.\n', 'input');
terminal.inputDisable();
jqBtnTest.prop('disabled', true);
jqBtnHint.ladda('start');
@@ -264,14 +263,12 @@
.fail(commError)
.fin(function () {
terminal.inputEnable();
- terminal.append('?- ', 'output');
jqBtnHint.ladda('stop');
jqBtnTest.prop('disabled', false);
})
.done();
});
jqBtnTest.on('click', function () {
- terminal.append('test.\n', 'input');
terminal.inputDisable();
jqBtnHint.prop('disabled', true);
jqBtnTest.ladda('start');
@@ -292,7 +289,6 @@
.fail(commError)
.fin(function () {
terminal.inputEnable();
- terminal.append('?- ', 'output');
jqBtnTest.ladda('stop');
jqBtnHint.prop('disabled', false);
})