File modules/editor/codemirror/src/display/line_numbers.min.js
Last commit: Tue May 22 22:39:49 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 { lineNumberFor } from "../line/utils_line.js" 2 import { compensateForHScroll } from "../measurement/position_measurement.js" 3 import { elt } from "../util/dom.js" 4 5 import { updateGutterSpace } from "./update_display.js" 6 7 // Re-align line numbers and gutter marks to compensate for 8 // horizontal scrolling. 9 export function alignHorizontally(cm) { 10 let display = cm.display, view = display.view 11 if (!display.alignWidgets && (!display.gutters.firstChild || !cm.options.fixedGutter)) return 12 let comp = compensateForHScroll(display) - display.scroller.scrollLeft + cm.doc.scrollLeft 13 let gutterW = display.gutters.offsetWidth, left = comp + "px" 14 for (let i = 0; i < view.length; i++) if (!view[i].hidden) { 15 if (cm.options.fixedGutter) { 16 if (view[i].gutter) 17 view[i].gutter.style.left = left 18 if (view[i].gutterBackground) 19 view[i].gutterBackground.style.left = left 20 } 21 let align = view[i].alignable 22 if (align) for (let j = 0; j < align.length; j++) 23 align[j].style.left = left 24 } 25 if (cm.options.fixedGutter) 26 display.gutters.style.left = (comp + gutterW) + "px" 27 } 28 29 // Used to ensure that the line number gutter is still the right 30 // size for the current document size. Returns true when an update 31 // is needed. 32 export function maybeUpdateLineNumberWidth(cm) { 33 if (!cm.options.lineNumbers) return false 34 let doc = cm.doc, last = lineNumberFor(cm.options, doc.first + doc.size - 1), display = cm.display 35 if (last.length != display.lineNumChars) { 36 let test = display.measure.appendChild(elt("div", [elt("div", last)], 37 "CodeMirror-linenumber CodeMirror-gutter-elt")) 38 let innerW = test.firstChild.offsetWidth, padding = test.offsetWidth - innerW 39 display.lineGutter.style.width = "" 40 display.lineNumInnerWidth = Math.max(innerW, display.lineGutter.offsetWidth - padding) + 1 41 display.lineNumWidth = display.lineNumInnerWidth + padding 42 display.lineNumChars = display.lineNumInnerWidth ? last.length : -1 43 display.lineGutter.style.width = display.lineNumWidth + "px" 44 updateGutterSpace(cm) 45 return true 46 } 47 return false 48 }
Downloadmodules/editor/codemirror/src/display/line_numbers.min.js
History Tue, 22 May 2018 22:39:49 +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'.