diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-16 13:37:48 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-16 13:37:48 +0100 |
commit | ba9d5eb671997a3a7b82eeb3eb04c0a3e5c3a966 (patch) | |
tree | b9df6d84ca6381e49015fca54893338859df10fe /js/codeq/prolog.js | |
parent | 1ac2420d1fcf184c6162f6188c70ef63d4983352 (diff) |
Add clear command for Prolog console
Diffstat (limited to 'js/codeq/prolog.js')
-rw-r--r-- | js/codeq/prolog.js | 5 |
1 files changed, 5 insertions, 0 deletions
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(); |