diff --git a/src/ed.js b/src/ed.js index d2f172ec..580f256a 100644 --- a/src/ed.js +++ b/src/ed.js @@ -48,7 +48,7 @@ iconsInSuggestions: false, language: 'apl', lineHeight: fs + 2, - lineNumbers: D.prf.lineNums() ? (x => `[${x - 1}]`) : 'off', + lineNumbers: D.prf.lineNums() ? ((x) => `[${x - 1}]`) : 'off', matchBrackets: !!D.prf.matchBrackets(), minimap: { enabled: D.prf.minimapEnabled(), @@ -68,8 +68,7 @@ useTabStops: false, wordBasedSuggestions: false, wordSeparators: D.wordSeparators, - unusualLineTerminators: 'off', // iss646: Prevent message prompt about unusual line endings - + unusualLineTerminators: 'off', // iss646: Prevent message prompt about unusual line endings }); ed.me = me; ed.me_ready = new Promise((resolve) => { @@ -141,7 +140,7 @@ } return !0; }); - ed.setPendent = $.debounce(100, x => ed.dom.classList.toggle('pendent', x)); + ed.setPendent = $.debounce(100, (x) => ed.dom.classList.toggle('pendent', x)); ed.setTC(!!ed.tc); ed.setLN(D.prf.lineNums()); ed.firstOpen = true; @@ -154,8 +153,8 @@ const ed = this; const model = ed.me.getModel(); ed.stop = new Set(model.getAllDecorations() - .filter(d => d.options.glyphMarginClassName === 'breakpoint') - .map(d => d.range.startLineNumber - 1)); + .filter((d) => d.options.glyphMarginClassName === 'breakpoint') + .map((d) => d.range.startLineNumber - 1)); }, cursorActivity(e) { // handle "cursor activity" event // xline:the line number of the empty line inserted when you press at eof @@ -202,7 +201,7 @@ }, setLN(x) { // update the display of line numbers and the state of the "[...]" button const ed = this; - ed.me.updateOptions({ lineNumbers: D.prf.lineNums() ? (l => `[${l - 1}]`) : 'off' }); + ed.me.updateOptions({ lineNumbers: D.prf.lineNums() ? ((l) => `[${l - 1}]`) : 'off' }); ed.dom.querySelector('.tb_LN').classList.toggle('pressed', !!x); }, setTC(x) { @@ -222,7 +221,7 @@ }, setStop() { const ed = this; - ed.stopDecorations = [...ed.stop].map(x => ({ + ed.stopDecorations = [...ed.stop].map((x) => ({ range: new monaco.Range(x + 1, 1, x + 1, 1), options: { isWholeLine: false, @@ -247,7 +246,7 @@ saveScrollPos() { }, restoreScrollPos() { }, updateSIStack(x) { - this.dom.querySelector('.si_stack').innerHTML = x.stack.map(o => `