Added Websocket stuff

This commit is contained in:
2026-05-02 18:26:02 -04:00
parent 7f49abd5e1
commit f34125d67b
10 changed files with 140 additions and 102 deletions

50
www/scripts/problem.js Normal file
View File

@@ -0,0 +1,50 @@
let state = "problem"; // problem | steps | done
function showProblem() {
const problemEl = document.getElementById("problem");
const stepsEl = document.getElementById("steps");
problemEl.innerHTML = `\\(${problemData.problem}\\)`;
stepsEl.innerHTML = "";
MathJax.typesetPromise();
}
function startSequence() {
setTimeout(() => {
showNextStep();
}, 3000); // thinking time
}
function showNextStep() {
const stepsEl = document.getElementById("steps");
if (stepIndex >= problemData.steps.length) {
// finished → request next problem
setTimeout(() => {
requestNextProblem();
}, 3000);
return;
}
const s = problemData.steps[stepIndex];
const html = `
<div class="step">
<div>\\(${s.before}\\)</div>
<div>${s.step}</div>
<div>\\(${s.after}\\)</div>
</div>
<hr/>
`;
stepsEl.innerHTML += html;
MathJax.typesetPromise();
stepIndex++;
setTimeout(showNextStep, 2000); // time between steps
}