search.min.js (10306B)
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 });