Editor: fix findNext to not display Chrome's findbar
This commit is contained in:
parent
6b710e9f56
commit
3ad6fd974b
2
edit.js
2
edit.js
|
@ -408,7 +408,7 @@ function setupGlobalSearch() {
|
||||||
pos = reverse ? CodeMirror.Pos(cm.lastLine()) : CodeMirror.Pos(0, 0);
|
pos = reverse ? CodeMirror.Pos(cm.lastLine()) : CodeMirror.Pos(0, 0);
|
||||||
}
|
}
|
||||||
var searchCursor = cm.getSearchCursor(state.query, pos, shouldIgnoreCase(state.query));
|
var searchCursor = cm.getSearchCursor(state.query, pos, shouldIgnoreCase(state.query));
|
||||||
if (searchCursor.find(reverse) || editors.length == 1) {
|
if (searchCursor.find(reverse)) {
|
||||||
if (editors.length > 1) {
|
if (editors.length > 1) {
|
||||||
makeSectionVisible(cm);
|
makeSectionVisible(cm);
|
||||||
cm.focus();
|
cm.focus();
|
||||||
|
|
Loading…
Reference in New Issue
Block a user