File modules/editor/codemirror/addon/display/panel.min.js
Last commit: Tue May 22 22:39:55 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 // CodeMirror, copyright (c) by Marijn Haverbeke and others 2 // Distributed under an MIT license: http://codemirror.net/LICENSE 3 4 (function(mod) { 5 if (typeof exports == "object" && typeof module == "object") // CommonJS 6 mod(require("../../lib/codemirror")); 7 else if (typeof define == "function" && define.amd) // AMD 8 define(["../../lib/codemirror"], mod); 9 else // Plain browser env 10 mod(CodeMirror); 11 })(function(CodeMirror) { 12 CodeMirror.defineExtension("addPanel", function(node, options) { 13 options = options || {}; 14 15 if (!this.state.panels) initPanels(this); 16 17 var info = this.state.panels; 18 var wrapper = info.wrapper; 19 var cmWrapper = this.getWrapperElement(); 20 21 if (options.after instanceof Panel && !options.after.cleared) { 22 wrapper.insertBefore(node, options.before.node.nextSibling); 23 } else if (options.before instanceof Panel && !options.before.cleared) { 24 wrapper.insertBefore(node, options.before.node); 25 } else if (options.replace instanceof Panel && !options.replace.cleared) { 26 wrapper.insertBefore(node, options.replace.node); 27 options.replace.clear(); 28 } else if (options.position == "bottom") { 29 wrapper.appendChild(node); 30 } else if (options.position == "before-bottom") { 31 wrapper.insertBefore(node, cmWrapper.nextSibling); 32 } else if (options.position == "after-top") { 33 wrapper.insertBefore(node, cmWrapper); 34 } else { 35 wrapper.insertBefore(node, wrapper.firstChild); 36 } 37 38 var height = (options && options.height) || node.offsetHeight; 39 this._setSize(null, info.heightLeft -= height); 40 info.panels++; 41 if (options.stable && isAtTop(this, node)) 42 this.scrollTo(null, this.getScrollInfo().top + height) 43 44 return new Panel(this, node, options, height); 45 }); 46 47 function Panel(cm, node, options, height) { 48 this.cm = cm; 49 this.node = node; 50 this.options = options; 51 this.height = height; 52 this.cleared = false; 53 } 54 55 Panel.prototype.clear = function() { 56 if (this.cleared) return; 57 this.cleared = true; 58 var info = this.cm.state.panels; 59 this.cm._setSize(null, info.heightLeft += this.height); 60 if (this.options.stable && isAtTop(this.cm, this.node)) 61 this.cm.scrollTo(null, this.cm.getScrollInfo().top - this.height) 62 info.wrapper.removeChild(this.node); 63 if (--info.panels == 0) removePanels(this.cm); 64 }; 65 66 Panel.prototype.changed = function(height) { 67 var newHeight = height == null ? this.node.offsetHeight : height; 68 var info = this.cm.state.panels; 69 this.cm._setSize(null, info.heightLeft -= (newHeight - this.height)); 70 this.height = newHeight; 71 }; 72 73 function initPanels(cm) { 74 var wrap = cm.getWrapperElement(); 75 var style = window.getComputedStyle ? window.getComputedStyle(wrap) : wrap.currentStyle; 76 var height = parseInt(style.height); 77 var info = cm.state.panels = { 78 setHeight: wrap.style.height, 79 heightLeft: height, 80 panels: 0, 81 wrapper: document.createElement("div") 82 }; 83 wrap.parentNode.insertBefore(info.wrapper, wrap); 84 var hasFocus = cm.hasFocus(); 85 info.wrapper.appendChild(wrap); 86 if (hasFocus) cm.focus(); 87 88 cm._setSize = cm.setSize; 89 if (height != null) cm.setSize = function(width, newHeight) { 90 if (newHeight == null) return this._setSize(width, newHeight); 91 info.setHeight = newHeight; 92 if (typeof newHeight != "number") { 93 var px = /^(\d+\.?\d*)px$/.exec(newHeight); 94 if (px) { 95 newHeight = Number(px[1]); 96 } else { 97 info.wrapper.style.height = newHeight; 98 newHeight = info.wrapper.offsetHeight; 99 info.wrapper.style.height = ""; 100 } 101 } 102 cm._setSize(width, info.heightLeft += (newHeight - height)); 103 height = newHeight; 104 }; 105 } 106 107 function removePanels(cm) { 108 var info = cm.state.panels; 109 cm.state.panels = null; 110 111 var wrap = cm.getWrapperElement(); 112 info.wrapper.parentNode.replaceChild(wrap, info.wrapper); 113 wrap.style.height = info.setHeight; 114 cm.setSize = cm._setSize; 115 cm.setSize(); 116 } 117 118 function isAtTop(cm, dom) { 119 for (var sibling = dom.nextSibling; sibling; sibling = sibling.nextSibling) 120 if (sibling == cm.getWrapperElement()) return true 121 return false 122 } 123 });
Downloadmodules/editor/codemirror/addon/display/panel.min.js
History Tue, 22 May 2018 22:39:55 +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'.