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 }
Downloadmodules/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'.