@ -97,7 +97,6 @@ function switchInputs(enabled) {
function endOfComputation() {
clearTimeout(timeoutId);
switchInputs(true);
switchButtons(true);
}
const expr = document.querySelector("#expr");