Gecko [ v3.cesa.co.za ]

Linux cesa-www-main 6.1.0-49-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.174-1 (2026-05-26) x86_64
Apache/2.4.68 (Debian)
Server IP : 10.218.0.2 & Your IP : 216.73.216.28
Domains : Cant Read [ /etc/named.conf ]
User : www-data

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

Rename

import { elt, removeChildren } from "../util/dom.js"
import { regChange } from "./view_tracking.js"
import { alignHorizontally } from "./line_numbers.js"
import { updateGutterSpace } from "./update_display.js"

export function getGutters(gutters, lineNumbers) {
  let result = [], sawLineNumbers = false
  for (let i = 0; i < gutters.length; i++) {
    let name = gutters[i], style = null
    if (typeof name != "string") { style = name.style; name = name.className }
    if (name == "CodeMirror-linenumbers") {
      if (!lineNumbers) continue
      else sawLineNumbers = true
    }
    result.push({className: name, style})
  }
  if (lineNumbers && !sawLineNumbers) result.push({className: "CodeMirror-linenumbers", style: null})
  return result
}

// Rebuild the gutter elements, ensure the margin to the left of the
// code matches their width.
export function renderGutters(display) {
  let gutters = display.gutters, specs = display.gutterSpecs
  removeChildren(gutters)
  display.lineGutter = null
  for (let i = 0; i < specs.length; ++i) {
    let {className, style} = specs[i]
    let gElt = gutters.appendChild(elt("div", null, "CodeMirror-gutter " + className))
    if (style) gElt.style.cssText = style
    if (className == "CodeMirror-linenumbers") {
      display.lineGutter = gElt
      gElt.style.width = (display.lineNumWidth || 1) + "px"
    }
  }
  gutters.style.display = specs.length ? "" : "none"
  updateGutterSpace(display)
}

export function updateGutters(cm) {
  renderGutters(cm.display)
  regChange(cm)
  alignHorizontally(cm)
}