Beispiel #1
0
 onfinish : function(){
     winGotoLine.hide();
     editor.ceEditor.focus();
 }
Beispiel #2
0
 onHide : function() {
     var editor = require('ext/editors/editors').currentEditor;
     if (editor && editor.ceEditor)
         editor.ceEditor.focus();
 },
Beispiel #3
0
 onfinish : function(){
     winQuickSearch.hide();
     editor.ceEditor.focus();
 }