Searched refs:highlightGapInstructionsInput (Results 1 – 1 of 1) sorted by relevance
251 …const highlightGapInstructionsInput: HTMLInputElement = view.divNode.querySelector("#highlight-gap… constant253 highlightGapInstructionsInput.checked = lastHighlightGapInstructions == 'true';255 …window.sessionStorage.setItem("highlight-gap-instructions", `${highlightGapInstructionsInput.check…256 …view.divNode.classList.toggle("highlight-gap-instructions", highlightGapInstructionsInput.checked);259 highlightGapInstructionsInput.addEventListener("change", highlightGapInstructionsHandler);