__ __ __ __ _____ _ _ _____ _ _ _ | \/ | \ \ / / | __ \ (_) | | / ____| | | | | | \ / |_ __\ V / | |__) | __ ___ ____ _| |_ ___ | (___ | |__ ___| | | | |\/| | '__|> < | ___/ '__| \ \ / / _` | __/ _ \ \___ \| '_ \ / _ \ | | | | | | |_ / . \ | | | | | |\ V / (_| | || __/ ____) | | | | __/ | | |_| |_|_(_)_/ \_\ |_| |_| |_| \_/ \__,_|\__\___| |_____/|_| |_|\___V 2.1 if you need WebShell for Seo everyday contact me on Telegram Telegram Address : @jackleetFor_More_Tools:
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)
}
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| Display.js | File | 4.75 KB | 0644 |
|
| focus.js | File | 1.55 KB | 0644 |
|
| gutters.js | File | 1.52 KB | 0644 |
|
| highlight_worker.js | File | 2.22 KB | 0644 |
|
| line_numbers.js | File | 2.12 KB | 0644 |
|
| mode_state.js | File | 621 B | 0644 |
|
| operations.js | File | 7.89 KB | 0644 |
|
| scroll_events.js | File | 4.85 KB | 0644 |
|
| scrollbars.js | File | 7.31 KB | 0644 |
|
| scrolling.js | File | 7.98 KB | 0644 |
|
| selection.js | File | 7.29 KB | 0644 |
|
| update_display.js | File | 10.26 KB | 0644 |
|
| update_line.js | File | 7.8 KB | 0644 |
|
| update_lines.js | File | 3.39 KB | 0644 |
|
| view_tracking.js | File | 5.26 KB | 0644 |
|