File modules/editor/codemirror/addon/search/search.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 // Define search commands. Depends on dialog.js or another 5 // implementation of the openDialog method. 6 7 // Replace works a little oddly -- it will do the replace on the next 8 // Ctrl-G (or whatever is bound to findNext) press. You prevent a 9 // replace by making sure the match is no longer selected when hitting 10 // Ctrl-G. 11 12 (function(mod) { 13 if (typeof exports == "object" && typeof module == "object") // CommonJS 14 mod(require("../../lib/codemirror"), require("./searchcursor"), require("../dialog/dialog")); 15 else if (typeof define == "function" && define.amd) // AMD 16 define(["../../lib/codemirror", "./searchcursor", "../dialog/dialog"], mod); 17 else // Plain browser env 18 mod(CodeMirror); 19 })(function(CodeMirror) { 20 "use strict"; 21 22 function searchOverlay(query, caseInsensitive) { 23 if (typeof query == "string") 24 query = new RegExp(query.replace(/[\-\[\]\/\{\}\(\)\*\+\?\.\\\^\$\|]/g, "\\$&"), caseInsensitive ? "gi" : "g"); 25 else if (!query.global) 26 query = new RegExp(query.source, query.ignoreCase ? "gi" : "g"); 27 28 return {token: function(stream) { 29 query.lastIndex = stream.pos; 30 var match = query.exec(stream.string); 31 if (match && match.index == stream.pos) { 32 stream.pos += match[0].length || 1; 33 return "searching"; 34 } else if (match) { 35 stream.pos = match.index; 36 } else { 37 stream.skipToEnd(); 38 } 39 }}; 40 } 41 42 function SearchState() { 43 this.posFrom = this.posTo = this.lastQuery = this.query = null; 44 this.overlay = null; 45 } 46 47 function getSearchState(cm) { 48 return cm.state.search || (cm.state.search = new SearchState()); 49 } 50 51 function queryCaseInsensitive(query) { 52 return typeof query == "string" && query == query.toLowerCase(); 53 } 54 55 function getSearchCursor(cm, query, pos) { 56 // Heuristic: if the query string is all lowercase, do a case insensitive search. 57 return cm.getSearchCursor(query, pos, {caseFold: queryCaseInsensitive(query), multiline: true}); 58 } 59 60 function persistentDialog(cm, text, deflt, onEnter, onKeyDown) { 61 cm.openDialog(text, onEnter, { 62 value: deflt, 63 selectValueOnOpen: true, 64 closeOnEnter: false, 65 onClose: function() { clearSearch(cm); }, 66 onKeyDown: onKeyDown 67 }); 68 } 69 70 function dialog(cm, text, shortText, deflt, f) { 71 if (cm.openDialog) cm.openDialog(text, f, {value: deflt, selectValueOnOpen: true}); 72 else f(prompt(shortText, deflt)); 73 } 74 75 function confirmDialog(cm, text, shortText, fs) { 76 if (cm.openConfirm) cm.openConfirm(text, fs); 77 else if (confirm(shortText)) fs[0](); 78 } 79 80 function parseString(string) { 81 return string.replace(/\\(.)/g, function(_, ch) { 82 if (ch == "n") return "\n" 83 if (ch == "r") return "\r" 84 return ch 85 }) 86 } 87 88 function parseQuery(query) { 89 var isRE = query.match(/^\/(.*)\/([a-z]*)$/); 90 if (isRE) { 91 try { query = new RegExp(isRE[1], isRE[2].indexOf("i") == -1 ? "" : "i"); } 92 catch(e) {} // Not a regular expression after all, do a string search 93 } else { 94 query = parseString(query) 95 } 96 if (typeof query == "string" ? query == "" : query.test("")) 97 query = /x^/; 98 return query; 99 } 100 101 var queryDialog = 102 '<span class="CodeMirror-search-label">Search:</span> <input type="text" style="width: 10em" class="CodeMirror-search-field"/> <span style="color: #888" class="CodeMirror-search-hint">(Use /re/ syntax for regexp search)</span>'; 103 104 function startSearch(cm, state, query) { 105 state.queryText = query; 106 state.query = parseQuery(query); 107 cm.removeOverlay(state.overlay, queryCaseInsensitive(state.query)); 108 state.overlay = searchOverlay(state.query, queryCaseInsensitive(state.query)); 109 cm.addOverlay(state.overlay); 110 if (cm.showMatchesOnScrollbar) { 111 if (state.annotate) { state.annotate.clear(); state.annotate = null; } 112 state.annotate = cm.showMatchesOnScrollbar(state.query, queryCaseInsensitive(state.query)); 113 } 114 } 115 116 function doSearch(cm, rev, persistent, immediate) { 117 var state = getSearchState(cm); 118 if (state.query) return findNext(cm, rev); 119 var q = cm.getSelection() || state.lastQuery; 120 if (q instanceof RegExp && q.source == "x^") q = null 121 if (persistent && cm.openDialog) { 122 var hiding = null 123 var searchNext = function(query, event) { 124 CodeMirror.e_stop(event); 125 if (!query) return; 126 if (query != state.queryText) { 127 startSearch(cm, state, query); 128 state.posFrom = state.posTo = cm.getCursor(); 129 } 130 if (hiding) hiding.style.opacity = 1 131 findNext(cm, event.shiftKey, function(_, to) { 132 var dialog 133 if (to.line < 3 && document.querySelector && 134 (dialog = cm.display.wrapper.querySelector(".CodeMirror-dialog")) && 135 dialog.getBoundingClientRect().bottom - 4 > cm.cursorCoords(to, "window").top) 136 (hiding = dialog).style.opacity = .4 137 }) 138 }; 139 persistentDialog(cm, queryDialog, q, searchNext, function(event, query) { 140 var keyName = CodeMirror.keyName(event) 141 var extra = cm.getOption('extraKeys'), cmd = (extra && extra[keyName]) || CodeMirror.keyMap[cm.getOption("keyMap")][keyName] 142 if (cmd == "findNext" || cmd == "findPrev" || 143 cmd == "findPersistentNext" || cmd == "findPersistentPrev") { 144 CodeMirror.e_stop(event); 145 startSearch(cm, getSearchState(cm), query); 146 cm.execCommand(cmd); 147 } else if (cmd == "find" || cmd == "findPersistent") { 148 CodeMirror.e_stop(event); 149 searchNext(query, event); 150 } 151 }); 152 if (immediate && q) { 153 startSearch(cm, state, q); 154 findNext(cm, rev); 155 } 156 } else { 157 dialog(cm, queryDialog, "Search for:", q, function(query) { 158 if (query && !state.query) cm.operation(function() { 159 startSearch(cm, state, query); 160 state.posFrom = state.posTo = cm.getCursor(); 161 findNext(cm, rev); 162 }); 163 }); 164 } 165 } 166 167 function findNext(cm, rev, callback) {cm.operation(function() { 168 var state = getSearchState(cm); 169 var cursor = getSearchCursor(cm, state.query, rev ? state.posFrom : state.posTo); 170 if (!cursor.find(rev)) { 171 cursor = getSearchCursor(cm, state.query, rev ? CodeMirror.Pos(cm.lastLine()) : CodeMirror.Pos(cm.firstLine(), 0)); 172 if (!cursor.find(rev)) return; 173 } 174 cm.setSelection(cursor.from(), cursor.to()); 175 cm.scrollIntoView({from: cursor.from(), to: cursor.to()}, 20); 176 state.posFrom = cursor.from(); state.posTo = cursor.to(); 177 if (callback) callback(cursor.from(), cursor.to()) 178 });} 179 180 function clearSearch(cm) {cm.operation(function() { 181 var state = getSearchState(cm); 182 state.lastQuery = state.query; 183 if (!state.query) return; 184 state.query = state.queryText = null; 185 cm.removeOverlay(state.overlay); 186 if (state.annotate) { state.annotate.clear(); state.annotate = null; } 187 });} 188 189 var replaceQueryDialog = 190 ' <input type="text" style="width: 10em" class="CodeMirror-search-field"/> <span style="color: #888" class="CodeMirror-search-hint">(Use /re/ syntax for regexp search)</span>'; 191 var replacementQueryDialog = '<span class="CodeMirror-search-label">With:</span> <input type="text" style="width: 10em" class="CodeMirror-search-field"/>'; 192 var doReplaceConfirm = '<span class="CodeMirror-search-label">Replace?</span> <button>Yes</button> <button>No</button> <button>All</button> <button>Stop</button>'; 193 194 function replaceAll(cm, query, text) { 195 cm.operation(function() { 196 for (var cursor = getSearchCursor(cm, query); cursor.findNext();) { 197 if (typeof query != "string") { 198 var match = cm.getRange(cursor.from(), cursor.to()).match(query); 199 cursor.replace(text.replace(/\$(\d)/g, function(_, i) {return match[i];})); 200 } else cursor.replace(text); 201 } 202 }); 203 } 204 205 function replace(cm, all) { 206 if (cm.getOption("readOnly")) return; 207 var query = cm.getSelection() || getSearchState(cm).lastQuery; 208 var dialogText = '<span class="CodeMirror-search-label">' + (all ? 'Replace all:' : 'Replace:') + '</span>'; 209 dialog(cm, dialogText + replaceQueryDialog, dialogText, query, function(query) { 210 if (!query) return; 211 query = parseQuery(query); 212 dialog(cm, replacementQueryDialog, "Replace with:", "", function(text) { 213 text = parseString(text) 214 if (all) { 215 replaceAll(cm, query, text) 216 } else { 217 clearSearch(cm); 218 var cursor = getSearchCursor(cm, query, cm.getCursor("from")); 219 var advance = function() { 220 var start = cursor.from(), match; 221 if (!(match = cursor.findNext())) { 222 cursor = getSearchCursor(cm, query); 223 if (!(match = cursor.findNext()) || 224 (start && cursor.from().line == start.line && cursor.from().ch == start.ch)) return; 225 } 226 cm.setSelection(cursor.from(), cursor.to()); 227 cm.scrollIntoView({from: cursor.from(), to: cursor.to()}); 228 confirmDialog(cm, doReplaceConfirm, "Replace?", 229 [function() {doReplace(match);}, advance, 230 function() {replaceAll(cm, query, text)}]); 231 }; 232 var doReplace = function(match) { 233 cursor.replace(typeof query == "string" ? text : 234 text.replace(/\$(\d)/g, function(_, i) {return match[i];})); 235 advance(); 236 }; 237 advance(); 238 } 239 }); 240 }); 241 } 242 243 CodeMirror.commands.find = function(cm) {clearSearch(cm); doSearch(cm);}; 244 CodeMirror.commands.findPersistent = function(cm) {clearSearch(cm); doSearch(cm, false, true);}; 245 CodeMirror.commands.findPersistentNext = function(cm) {doSearch(cm, false, true, true);}; 246 CodeMirror.commands.findPersistentPrev = function(cm) {doSearch(cm, true, true, true);}; 247 CodeMirror.commands.findNext = doSearch; 248 CodeMirror.commands.findPrev = function(cm) {doSearch(cm, true);}; 249 CodeMirror.commands.clearSearch = clearSearch; 250 CodeMirror.commands.replace = replace; 251 CodeMirror.commands.replaceAll = function(cm) {replace(cm, true);}; 252 });
Downloadmodules/editor/codemirror/addon/search/search.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'.