From 264e81758fe4932f139819192302f4900ae1e447 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 13:43:11 +0100 Subject: add help panel to the REPL --- lambda-calcul/haskell/public/repl.js | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'lambda-calcul/haskell/public/repl.js') 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(); -- cgit v1.3.1