(query)
| 23 | else if (confirm(shortText)) fs[0](); |
| 24 | } |
| 25 | function parseQuery(query) { |
| 26 | var isRE = query.match(/^\/(.*)\/$/); |
| 27 | return isRE ? new RegExp(isRE[1]) : query; |
| 28 | } |
| 29 | var queryDialog = |
| 30 | 'Search: <input type="text" style="width: 10em"/> <span style="color: #888">(Use /re/ syntax for regexp search)</span>'; |
| 31 | function doSearch(cm, rev) { |