diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 13:43:11 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 13:43:11 +0100 |
| commit | 264e81758fe4932f139819192302f4900ae1e447 (patch) | |
| tree | cc9c2941091042bfbf2dc107a883d29487bed889 /lambda-calcul/haskell/public/repl.js | |
| parent | ab1b426b917460c09079a21378848ad68242bc9d (diff) | |
| download | lambda-nantes-264e81758fe4932f139819192302f4900ae1e447.tar.gz | |
add help panel to the REPL
Diffstat (limited to 'lambda-calcul/haskell/public/repl.js')
| -rw-r--r-- | lambda-calcul/haskell/public/repl.js | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js index 17be218..fd1244a 100644 --- a/lambda-calcul/haskell/public/repl.js +++ b/lambda-calcul/haskell/public/repl.js @@ -132,8 +132,20 @@ function loadText(e) { return false; }; +function toggleHelp(e) { + const help = document.getElementById("help"); + if(help.style.display === "block") { + help.style.display = "none"; + } else { + help.style.display = "block"; + } +} + + document.getElementById("command").addEventListener("keyup", sendCommand); document.getElementById("connect").addEventListener("click", connect); document.getElementById("send").addEventListener("click", loadText); +document.getElementById("helptip").addEventListener("click", toggleHelp); +document.getElementById("help").addEventListener("click", toggleHelp); connect(); |
