diff --git a/lib/util/search.js b/lib/util/search.js index bb0a17766d96bf41384c71e479e39daa19914ccf..f194c637b92bcdb48247d42b140fd77ef52679c2 100644 --- a/lib/util/search.js +++ b/lib/util/search.js @@ -27,7 +27,7 @@ return isRE ? new RegExp(isRE[1]) : query; } var queryDialog = - 'Search: <input type="text" style="width: 10em"> <span style="color: #888">(Use /re/ syntax for regexp search)</span>'; + 'Search: <input type="text" style="width: 10em"/> <span style="color: #888">(Use /re/ syntax for regexp search)</span>'; function doSearch(cm, rev) { var state = getSearchState(cm); if (state.query) return findNext(cm, rev); @@ -63,8 +63,8 @@ })} var replaceQueryDialog = - 'Replace: <input type="text" style="width: 10em"> <span style="color: #888">(Use /re/ syntax for regexp search)</span>'; - var replacementQueryDialog = 'With: <input type="text" style="width: 10em">'; + 'Replace: <input type="text" style="width: 10em"/> <span style="color: #888">(Use /re/ syntax for regexp search)</span>'; + var replacementQueryDialog = 'With: <input type="text" style="width: 10em"/>'; var doReplaceConfirm = "Replace? <button>Yes</button> <button>No</button> <button>Stop</button>"; function replace(cm, all) { dialog(cm, replaceQueryDialog, "Replace:", function(query) {