File modules/editor/codemirror/src/display/gutters.min.js

Last commit: Tue May 22 22:39:53 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 { elt, removeChildren } from "../util/dom.js"
     2 import { indexOf } from "../util/misc.js"
     3 
     4 import { updateGutterSpace } from "./update_display.js"
     5 
     6 // Rebuild the gutter elements, ensure the margin to the left of the
     7 // code matches their width.
     8 export function updateGutters(cm) {
     9   let gutters = cm.display.gutters, specs = cm.options.gutters
    10   removeChildren(gutters)
    11   let i = 0
    12   for (; i < specs.length; ++i) {
    13     let gutterClass = specs[i]
    14     let gElt = gutters.appendChild(elt("div", null, "CodeMirror-gutter " + gutterClass))
    15     if (gutterClass == "CodeMirror-linenumbers") {
    16       cm.display.lineGutter = gElt
    17       gElt.style.width = (cm.display.lineNumWidth || 1) + "px"
    18     }
    19   }
    20   gutters.style.display = i ? "" : "none"
    21   updateGutterSpace(cm)
    22 }
    23 
    24 // Make sure the gutters options contains the element
    25 // "CodeMirror-linenumbers" when the lineNumbers option is true.
    26 export function setGuttersForLineNumbers(options) {
    27   let found = indexOf(options.gutters, "CodeMirror-linenumbers")
    28   if (found == -1 && options.lineNumbers) {
    29     options.gutters = options.gutters.concat(["CodeMirror-linenumbers"])
    30   } else if (found > -1 && !options.lineNumbers) {
    31     options.gutters = options.gutters.slice(0)
    32     options.gutters.splice(found, 1)
    33   }
    34 }



Download modules/editor/codemirror/src/display/gutters.min.js


History
Tue, 22 May 2018 22:39:53 +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'.