Purge jQuery from reviewer-bottom

This commit is contained in:
Henrik Giesel 2021-04-13 19:28:03 +02:00
parent ae3f8adbb3
commit 86262030e3

View file

@ -4,8 +4,7 @@
var time: number; // set in python code var time: number; // set in python code
let maxTime = 0; let maxTime = 0;
$(function () { document.addEventListener("DOMContentLoaded", () => {
$("#ansbut").focus();
updateTime(); updateTime();
setInterval(function () { setInterval(function () {
time += 1; time += 1;
@ -13,35 +12,33 @@ $(function () {
}, 1000); }, 1000);
}); });
let updateTime = function () { function updateTime(): void {
let timeNode = $("#time"); const timeNode = document.getElementById("time");
if (!maxTime) { if (maxTime === 0) {
timeNode.text(""); timeNode.textContent = "";
return; return;
} }
time = Math.min(maxTime, time); time = Math.min(maxTime, time);
const m = Math.floor(time / 60); const m = Math.floor(time / 60);
const s = time % 60; const s = time % 60;
let sStr = s.toString(); const sStr = String(s).padStart(2, "0");
if (s < 10) { const timeString = `${m}:${sStr}`;
sStr = "0" + s;
}
if (maxTime === time) {
timeNode.html("<font color=red>" + m + ":" + sStr + "</font>");
} else {
timeNode.text(m + ":" + sStr);
}
};
function showQuestion(txt, maxTime_) { if (maxTime === time) {
// much faster than jquery's .html() timeNode.innerHTML = `<font color=red>${timeString}</font>`;
$("#middle")[0].innerHTML = txt; } else {
timeNode.textContent = timeString;
}
}
function showQuestion(txt: string, maxTime_: number): void {
showAnswer(txt);
time = 0; time = 0;
maxTime = maxTime_; maxTime = maxTime_;
} }
function showAnswer(txt) { function showAnswer(txt: string): void {
$("#middle")[0].innerHTML = txt; document.getElementById("middle").innerHTML = txt;
} }
function selectedAnswerButton() { function selectedAnswerButton() {