public/js/ext-3.4.1/pkgs/pkg-menu-debug.js
// private - called when first menu is created
called when first menu is created
called when first menu is created
function init(){
       menus = {};
       active = new Ext.util.MixedCollection();
       map = Ext.getDoc().addKeyListener(27, hideAll);
       map.disable();
   }
function init ( ) { menus = { } ; active = new Ext . util . MixedCollection ( ) ; map = Ext . getDoc ( ) . addKeyListener ( 27 , hideAll ) ; map . disable ( ) ; }
private - called when first menu is created
private - called when first menu is created