Gecko [ gandhischool.edu.np ]

Name	Size	Permission
Display.js	4.75 KB	-rw-r--r--
focus.js	1.55 KB	-rw-r--r--
gutters.js	1.52 KB	-rw-r--r--
highlight_worker.js	2.22 KB	-rw-r--r--
line_numbers.js	2.12 KB	-rw-r--r--
mode_state.js	621 B	-rw-r--r--
operations.js	7.89 KB	-rw-r--r--
scroll_events.js	4.85 KB	-rw-r--r--
scrollbars.js	7.31 KB	-rw-r--r--
scrolling.js	7.98 KB	-rw-r--r--
selection.js	7.29 KB	-rw-r--r--
update_display.js	10.26 KB	-rw-r--r--
update_line.js	7.8 KB	-rw-r--r--
update_lines.js	3.39 KB	-rw-r--r--
view_tracking.js	5.26 KB	-rw-r--r--

Code Editor : highlight_worker.js

import { getContextBefore, highlightLine, processLine } from "../line/highlight.js"
import { copyState } from "../modes.js"
import { bind } from "../util/misc.js"

import { runInOp } from "./operations.js"
import { regLineChange } from "./view_tracking.js"

// HIGHLIGHT WORKER

export function startWorker(cm, time) {
  if (cm.doc.highlightFrontier < cm.display.viewTo)
    cm.state.highlight.set(time, bind(highlightWorker, cm))
}

function highlightWorker(cm) {
  let doc = cm.doc
  if (doc.highlightFrontier >= cm.display.viewTo) return
  let end = +new Date + cm.options.workTime
  let context = getContextBefore(cm, doc.highlightFrontier)
  let changedLines = []

doc.iter(context.line, Math.min(doc.first + doc.size, cm.display.viewTo + 500), line => {
    if (context.line >= cm.display.viewFrom) { // Visible
      let oldStyles = line.styles
      let resetState = line.text.length > cm.options.maxHighlightLength ? copyState(doc.mode, context.state) : null
      let highlighted = highlightLine(cm, line, context, true)
      if (resetState) context.state = resetState
      line.styles = highlighted.styles
      let oldCls = line.styleClasses, newCls = highlighted.classes
      if (newCls) line.styleClasses = newCls
      else if (oldCls) line.styleClasses = null
      let ischange = !oldStyles || oldStyles.length != line.styles.length ||
        oldCls != newCls && (!oldCls || !newCls || oldCls.bgClass != newCls.bgClass || oldCls.textClass != newCls.textClass)
      for (let i = 0; !ischange && i < oldStyles.length; ++i) ischange = oldStyles[i] != line.styles[i]
      if (ischange) changedLines.push(context.line)
      line.stateAfter = context.save()
      context.nextLine()
    } else {
      if (line.text.length <= cm.options.maxHighlightLength)
        processLine(cm, line.text, context)
      line.stateAfter = context.line % 5 == 0 ? context.save() : null
      context.nextLine()
    }
    if (+new Date > end) {
      startWorker(cm, cm.options.workDelay)
      return true
    }
  })
  doc.highlightFrontier = context.line
  doc.modeFrontier = Math.max(doc.modeFrontier, context.line)
  if (changedLines.length) runInOp(cm, () => {
    for (let i = 0; i < changedLines.length; i++)
      regLineChange(cm, changedLines[i], "text")
  })
}

${this.title}

Code Editor : highlight_worker.js