File modules/editor/codemirror/src/measurement/widgets.min.js

Last commit: Tue May 22 22:39:52 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 { contains, elt, removeChildrenAndAdd } from "../util/dom.js"
     2 import { e_target } from "../util/event.js"
     3 
     4 export function widgetHeight(widget) {
     5   if (widget.height != null) return widget.height
     6   let cm = widget.doc.cm
     7   if (!cm) return 0
     8   if (!contains(document.body, widget.node)) {
     9     let parentStyle = "position: relative;"
    10     if (widget.coverGutter)
    11       parentStyle += "margin-left: -" + cm.display.gutters.offsetWidth + "px;"
    12     if (widget.noHScroll)
    13       parentStyle += "width: " + cm.display.wrapper.clientWidth + "px;"
    14     removeChildrenAndAdd(cm.display.measure, elt("div", [widget.node], null, parentStyle))
    15   }
    16   return widget.height = widget.node.parentNode.offsetHeight
    17 }
    18 
    19 // Return true when the given mouse event happened in a widget
    20 export function eventInWidget(display, e) {
    21   for (let n = e_target(e); n != display.wrapper; n = n.parentNode) {
    22     if (!n || (n.nodeType == 1 && n.getAttribute("cm-ignore-events") == "true") ||
    23         (n.parentNode == display.sizer && n != display.mover))
    24       return true
    25   }
    26 }



Download modules/editor/codemirror/src/measurement/widgets.min.js


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