File modules/editor/codemirror/src/display/highlight_worker.min.js
Last commit: Tue May 22 22:39:52 2018 +0200 Jan Dankert Fix für PHP 7.2: 'Object' darf nun nicht mehr als Klassennamen verwendet werden. AUCH NICHT IN EINEM NAMESPACE! WTF, wozu habe ich das in einen verfickten Namespace gepackt? Wozu soll der sonst da sein??? Amateure. Daher nun notgedrungen unbenannt in 'BaseObject'.
1 import { getContextBefore, highlightLine, processLine } from "../line/highlight.js" 2 import { copyState } from "../modes.js" 3 import { bind } from "../util/misc.js" 4 5 import { runInOp } from "./operations.js" 6 import { regLineChange } from "./view_tracking.js" 7 8 // HIGHLIGHT WORKER 9 10 export function startWorker(cm, time) { 11 if (cm.doc.highlightFrontier < cm.display.viewTo) 12 cm.state.highlight.set(time, bind(highlightWorker, cm)) 13 } 14 15 function highlightWorker(cm) { 16 let doc = cm.doc 17 if (doc.highlightFrontier >= cm.display.viewTo) return 18 let end = +new Date + cm.options.workTime 19 let context = getContextBefore(cm, doc.highlightFrontier) 20 let changedLines = [] 21 22 doc.iter(context.line, Math.min(doc.first + doc.size, cm.display.viewTo + 500), line => { 23 if (context.line >= cm.display.viewFrom) { // Visible 24 let oldStyles = line.styles 25 let resetState = line.text.length > cm.options.maxHighlightLength ? copyState(doc.mode, context.state) : null 26 let highlighted = highlightLine(cm, line, context, true) 27 if (resetState) context.state = resetState 28 line.styles = highlighted.styles 29 let oldCls = line.styleClasses, newCls = highlighted.classes 30 if (newCls) line.styleClasses = newCls 31 else if (oldCls) line.styleClasses = null 32 let ischange = !oldStyles || oldStyles.length != line.styles.length || 33 oldCls != newCls && (!oldCls || !newCls || oldCls.bgClass != newCls.bgClass || oldCls.textClass != newCls.textClass) 34 for (let i = 0; !ischange && i < oldStyles.length; ++i) ischange = oldStyles[i] != line.styles[i] 35 if (ischange) changedLines.push(context.line) 36 line.stateAfter = context.save() 37 context.nextLine() 38 } else { 39 if (line.text.length <= cm.options.maxHighlightLength) 40 processLine(cm, line.text, context) 41 line.stateAfter = context.line % 5 == 0 ? context.save() : null 42 context.nextLine() 43 } 44 if (+new Date > end) { 45 startWorker(cm, cm.options.workDelay) 46 return true 47 } 48 }) 49 doc.highlightFrontier = context.line 50 doc.modeFrontier = Math.max(doc.modeFrontier, context.line) 51 if (changedLines.length) runInOp(cm, () => { 52 for (let i = 0; i < changedLines.length; i++) 53 regLineChange(cm, changedLines[i], "text") 54 }) 55 }
Downloadmodules/editor/codemirror/src/display/highlight_worker.min.js
History Tue, 22 May 2018 22:39:52 +0200 Jan Dankert Fix für PHP 7.2: 'Object' darf nun nicht mehr als Klassennamen verwendet werden. AUCH NICHT IN EINEM NAMESPACE! WTF, wozu habe ich das in einen verfickten Namespace gepackt? Wozu soll der sonst da sein??? Amateure. Daher nun notgedrungen unbenannt in 'BaseObject'.