(query)
| 42 | else if (confirm(shortText)) fs[0](); |
| 43 | } |
| 44 | function parseQuery(query) { |
| 45 | var isRE = query.match(/^\/(.*)\/([a-z]*)$/); |
| 46 | return isRE ? new RegExp(isRE[1], isRE[2].indexOf("i") == -1 ? "" : "i") : query; |
| 47 | } |
| 48 | var queryDialog = |
| 49 | 'Search: <input type="text" style="width: 10em"/> <span style="color: #888">(Use /re/ syntax for regexp search)</span>'; |
| 50 | function doSearch(cm, rev) { |