diff --git a/src/web/waiters/HighlighterWaiter.mjs b/src/web/waiters/HighlighterWaiter.mjs index 93644ce7..358b9a69 100755 --- a/src/web/waiters/HighlighterWaiter.mjs +++ b/src/web/waiters/HighlighterWaiter.mjs @@ -306,7 +306,7 @@ class HighlighterWaiter { * Resets mouse variable to up position. * Used on tab change. */ - mouseUp(){ + mouseUp() { this.mouseButtonDown = false; } @@ -396,11 +396,10 @@ class HighlighterWaiter { document.getElementById(io + "-highlighter"), pos); - if (direction === "forward"){ + if (direction === "forward") { this.highlightInput(pos); - } - else{ - this.manager.input.updateInputHighlight(inputNum, pos) + } else { + this.manager.input.updateInputHighlight(inputNum, pos); } } diff --git a/src/web/waiters/InputWaiter.mjs b/src/web/waiters/InputWaiter.mjs index 8744bbc5..e884cc7a 100644 --- a/src/web/waiters/InputWaiter.mjs +++ b/src/web/waiters/InputWaiter.mjs @@ -373,7 +373,7 @@ class InputWaiter { }); } - //Restore highlighting + // Restore highlighting this.updateInputHighlight(inputData.inputNum, inputData.pos); this.restoreHighlighting(); diff --git a/src/web/workers/InputWorker.mjs b/src/web/workers/InputWorker.mjs index efe8c1be..cd2ab180 100644 --- a/src/web/workers/InputWorker.mjs +++ b/src/web/workers/InputWorker.mjs @@ -454,7 +454,7 @@ self.setInput = function(inputData) { if (input === undefined || input === null) return; let inputVal = input.data; - let highlight = input.highlight; + const highlight = input.highlight; const inputObj = { inputNum: inputNum, input: inputVal, @@ -597,7 +597,7 @@ self.updateInputHighlight = function(inputData) { if (inputNum < 1) return; self.inputs[inputNum].highlight = pos; -} +}; /** * Update the stored data object for an input. @@ -845,7 +845,7 @@ self.addInput = function( newInputObj.data = ""; newInputObj.status = "loaded"; newInputObj.progress = 100; - newInputObj.highlight = [{"start":0,"end":0}]; + newInputObj.highlight = [{"start": 0, "end": 0}]; break; case "file": newInputObj.data = {