static/ext/src/panel/Tool.js
function(){
        if (Ext.quickTipsActive && Ext.isObject(this.tooltip)) {
            Ext.tip.QuickTipManager.unregister(this.id);
        }
        this.callParent();
    }
function(){
        if (Ext.quickTipsActive && Ext.isObject(this.tooltip)) {
            Ext.tip.QuickTipManager.unregister(this.id);
        }
        this.callParent();
    }
function ( ) { if ( Ext . quickTipsActive && Ext . isObject ( this . tooltip ) ) { Ext . tip . QuickTipManager . unregister ( this . id ) ; } this . callParent ( ) ; }
inherit docs
inherit docs