Editor: use visible code box for 'find' when focused one is offscreen
This commit is contained in:
parent
532662672f
commit
932ffa80fe
6
edit.js
6
edit.js
|
@ -548,6 +548,12 @@ function setupGlobalSearch() {
|
|||
}
|
||||
|
||||
function find(activeCM) {
|
||||
editors.lastActive = activeCM;
|
||||
var cm = getEditorInSight();
|
||||
if (cm != activeCM) {
|
||||
cm.focus();
|
||||
activeCM = cm;
|
||||
}
|
||||
var originalOpenDialog = activeCM.openDialog;
|
||||
activeCM.openDialog = function(template, callback, options) {
|
||||
originalOpenDialog.call(activeCM, findTemplate, function(query) {
|
||||
|
|
Loading…
Reference in New Issue
Block a user