File modules/editor/codemirror/src/display/selection.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 { Pos } from "../line/pos.js" 2 import { visualLine } from "../line/spans.js" 3 import { getLine } from "../line/utils_line.js" 4 import { charCoords, cursorCoords, displayWidth, paddingH, wrappedLineExtentChar } from "../measurement/position_measurement.js" 5 import { getOrder, iterateBidiSections } from "../util/bidi.js" 6 import { elt } from "../util/dom.js" 7 8 export function updateSelection(cm) { 9 cm.display.input.showSelection(cm.display.input.prepareSelection()) 10 } 11 12 export function prepareSelection(cm, primary = true) { 13 let doc = cm.doc, result = {} 14 let curFragment = result.cursors = document.createDocumentFragment() 15 let selFragment = result.selection = document.createDocumentFragment() 16 17 for (let i = 0; i < doc.sel.ranges.length; i++) { 18 if (!primary && i == doc.sel.primIndex) continue 19 let range = doc.sel.ranges[i] 20 if (range.from().line >= cm.display.viewTo || range.to().line < cm.display.viewFrom) continue 21 let collapsed = range.empty() 22 if (collapsed || cm.options.showCursorWhenSelecting) 23 drawSelectionCursor(cm, range.head, curFragment) 24 if (!collapsed) 25 drawSelectionRange(cm, range, selFragment) 26 } 27 return result 28 } 29 30 // Draws a cursor for the given range 31 export function drawSelectionCursor(cm, head, output) { 32 let pos = cursorCoords(cm, head, "div", null, null, !cm.options.singleCursorHeightPerLine) 33 34 let cursor = output.appendChild(elt("div", "\u00a0", "CodeMirror-cursor")) 35 cursor.style.left = pos.left + "px" 36 cursor.style.top = pos.top + "px" 37 cursor.style.height = Math.max(0, pos.bottom - pos.top) * cm.options.cursorHeight + "px" 38 39 if (pos.other) { 40 // Secondary cursor, shown when on a 'jump' in bi-directional text 41 let otherCursor = output.appendChild(elt("div", "\u00a0", "CodeMirror-cursor CodeMirror-secondarycursor")) 42 otherCursor.style.display = "" 43 otherCursor.style.left = pos.other.left + "px" 44 otherCursor.style.top = pos.other.top + "px" 45 otherCursor.style.height = (pos.other.bottom - pos.other.top) * .85 + "px" 46 } 47 } 48 49 function cmpCoords(a, b) { return a.top - b.top || a.left - b.left } 50 51 // Draws the given range as a highlighted selection 52 function drawSelectionRange(cm, range, output) { 53 let display = cm.display, doc = cm.doc 54 let fragment = document.createDocumentFragment() 55 let padding = paddingH(cm.display), leftSide = padding.left 56 let rightSide = Math.max(display.sizerWidth, displayWidth(cm) - display.sizer.offsetLeft) - padding.right 57 let docLTR = doc.direction == "ltr" 58 59 function add(left, top, width, bottom) { 60 if (top < 0) top = 0 61 top = Math.round(top) 62 bottom = Math.round(bottom) 63 fragment.appendChild(elt("div", null, "CodeMirror-selected", `position: absolute; left: ${left}px; 64 top: ${top}px; width: ${width == null ? rightSide - left : width}px; 65 height: ${bottom - top}px`)) 66 } 67 68 function drawForLine(line, fromArg, toArg) { 69 let lineObj = getLine(doc, line) 70 let lineLen = lineObj.text.length 71 let start, end 72 function coords(ch, bias) { 73 return charCoords(cm, Pos(line, ch), "div", lineObj, bias) 74 } 75 76 function wrapX(pos, dir, side) { 77 let extent = wrappedLineExtentChar(cm, lineObj, null, pos) 78 let prop = (dir == "ltr") == (side == "after") ? "left" : "right" 79 let ch = side == "after" ? extent.begin : extent.end - (/\s/.test(lineObj.text.charAt(extent.end - 1)) ? 2 : 1) 80 return coords(ch, prop)[prop] 81 } 82 83 let order = getOrder(lineObj, doc.direction) 84 iterateBidiSections(order, fromArg || 0, toArg == null ? lineLen : toArg, (from, to, dir, i) => { 85 let ltr = dir == "ltr" 86 let fromPos = coords(from, ltr ? "left" : "right") 87 let toPos = coords(to - 1, ltr ? "right" : "left") 88 89 let openStart = fromArg == null && from == 0, openEnd = toArg == null && to == lineLen 90 let first = i == 0, last = !order || i == order.length - 1 91 if (toPos.top - fromPos.top <= 3) { // Single line 92 let openLeft = (docLTR ? openStart : openEnd) && first 93 let openRight = (docLTR ? openEnd : openStart) && last 94 let left = openLeft ? leftSide : (ltr ? fromPos : toPos).left 95 let right = openRight ? rightSide : (ltr ? toPos : fromPos).right 96 add(left, fromPos.top, right - left, fromPos.bottom) 97 } else { // Multiple lines 98 let topLeft, topRight, botLeft, botRight 99 if (ltr) { 100 topLeft = docLTR && openStart && first ? leftSide : fromPos.left 101 topRight = docLTR ? rightSide : wrapX(from, dir, "before") 102 botLeft = docLTR ? leftSide : wrapX(to, dir, "after") 103 botRight = docLTR && openEnd && last ? rightSide : toPos.right 104 } else { 105 topLeft = !docLTR ? leftSide : wrapX(from, dir, "before") 106 topRight = !docLTR && openStart && first ? rightSide : fromPos.right 107 botLeft = !docLTR && openEnd && last ? leftSide : toPos.left 108 botRight = !docLTR ? rightSide : wrapX(to, dir, "after") 109 } 110 add(topLeft, fromPos.top, topRight - topLeft, fromPos.bottom) 111 if (fromPos.bottom < toPos.top) add(leftSide, fromPos.bottom, null, toPos.top) 112 add(botLeft, toPos.top, botRight - botLeft, toPos.bottom) 113 } 114 115 if (!start || cmpCoords(fromPos, start) < 0) start = fromPos 116 if (cmpCoords(toPos, start) < 0) start = toPos 117 if (!end || cmpCoords(fromPos, end) < 0) end = fromPos 118 if (cmpCoords(toPos, end) < 0) end = toPos 119 }) 120 return {start: start, end: end} 121 } 122 123 let sFrom = range.from(), sTo = range.to() 124 if (sFrom.line == sTo.line) { 125 drawForLine(sFrom.line, sFrom.ch, sTo.ch) 126 } else { 127 let fromLine = getLine(doc, sFrom.line), toLine = getLine(doc, sTo.line) 128 let singleVLine = visualLine(fromLine) == visualLine(toLine) 129 let leftEnd = drawForLine(sFrom.line, sFrom.ch, singleVLine ? fromLine.text.length + 1 : null).end 130 let rightStart = drawForLine(sTo.line, singleVLine ? 0 : null, sTo.ch).start 131 if (singleVLine) { 132 if (leftEnd.top < rightStart.top - 2) { 133 add(leftEnd.right, leftEnd.top, null, leftEnd.bottom) 134 add(leftSide, rightStart.top, rightStart.left, rightStart.bottom) 135 } else { 136 add(leftEnd.right, leftEnd.top, rightStart.left - leftEnd.right, leftEnd.bottom) 137 } 138 } 139 if (leftEnd.bottom < rightStart.top) 140 add(leftSide, leftEnd.bottom, null, rightStart.top) 141 } 142 143 output.appendChild(fragment) 144 } 145 146 // Cursor-blinking 147 export function restartBlink(cm) { 148 if (!cm.state.focused) return 149 let display = cm.display 150 clearInterval(display.blinker) 151 let on = true 152 display.cursorDiv.style.visibility = "" 153 if (cm.options.cursorBlinkRate > 0) 154 display.blinker = setInterval(() => display.cursorDiv.style.visibility = (on = !on) ? "" : "hidden", 155 cm.options.cursorBlinkRate) 156 else if (cm.options.cursorBlinkRate < 0) 157 display.cursorDiv.style.visibility = "hidden" 158 }
Downloadmodules/editor/codemirror/src/display/selection.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'.