diff --git a/src/static/js/ace2_inner.js b/src/static/js/ace2_inner.js index 8467dd85a..c7494cff9 100644 --- a/src/static/js/ace2_inner.js +++ b/src/static/js/ace2_inner.js @@ -64,14 +64,13 @@ function Ace2Inner(editorInfo, cssManagers) { const outerDoc = outerWin.document; const sideDiv = outerDoc.getElementById('sidediv'); const lineMetricsDiv = outerDoc.getElementById('linemetricsdiv'); - let lineNumbersShown; const sideDivInner = (() => { const htmlOpen = '