diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 22:21:24 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 22:21:24 +0100 |
| commit | 2df52c498170fc65c1ce5413be412cf5ba3482ae (patch) | |
| tree | 86a418c304fa3895fd9df9f9559d969556a3ca20 /lambda-calcul | |
| parent | b2ee60e31ea7f4b48a84269c41e7db7ffaaa061f (diff) | |
| download | lambda-nantes-2df52c498170fc65c1ce5413be412cf5ba3482ae.tar.gz | |
clear command output on UI
Diffstat (limited to 'lambda-calcul')
| -rw-r--r-- | lambda-calcul/haskell/public/repl.js | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js index 27b4ba2..1d1db87 100644 --- a/lambda-calcul/haskell/public/repl.js +++ b/lambda-calcul/haskell/public/repl.js @@ -103,11 +103,19 @@ function readMessageAndAppend(reader) { }; }; +function clearOutput() { + const outputs = document.querySelectorAll('div#minilang > div.output'); + + outputs.forEach((node) => node.remove()); +}; + function makeCommand(val) { const words = val.split(/ +/); if(words[0] === ":env") { return {tag:"Com",contents:{tag:"DumpEnv"}}; } else if(words[0] === ":clear") { + // FIXME: this is gross + clearOutput(); return {tag:"Com",contents:{tag:"ClearEnv"}}; } else if(words[0] === ":help") { return {tag:"Com",contents:{tag:"Help"}}; |
