/usr/share/nodejs/codemirror/src/display
NameSizeModeActions
Display.js48670644editdlrm
focus.js15880644editdlrm
gutters.js15570644editdlrm
highlight_worker.js22760644editdlrm
line_numbers.js21670644editdlrm
mode_state.js6210644editdlrm
operations.js80840644editdlrm
scrollbars.js74870644editdlrm
scrolling.js81670644editdlrm
scroll_events.js49670644editdlrm
selection.js74700644editdlrm
update_display.js105040644editdlrm
update_line.js79840644editdlrm
update_lines.js34720644editdlrm
view_tracking.js53850644editdlrm
Edit: /usr/share/nodejs/codemirror/src/display/mode_state.js (621B)
import { getMode } from "../modes.js" import { startWorker } from "./highlight_worker.js" import { regChange } from "./view_tracking.js" // Used to get the editor into a consistent state again when options change. export function loadMode(cm) { cm.doc.mode = getMode(cm.options, cm.doc.modeOption) resetModeState(cm) } export function resetModeState(cm) { cm.doc.iter(line => { if (line.stateAfter) line.stateAfter = null if (line.styles) line.styles = null }) cm.doc.modeFrontier = cm.doc.highlightFrontier = cm.doc.first startWorker(cm, 100) cm.state.modeGen++ if (cm.curOp) regChange(cm) }