rem: this.notifyOn('panel_change',function(){editor.setInnerSize();}); 
add: editor._timerToolbar = setTimeout(function() { editor.updateToolbar(); editor._timerToolbar = null; }, 50); 
context:   this.notifyOn('panel_change',function(){editor.setInnerSize();});
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/70e7091322d161ad5e2256481886617b9211a07f/htmlarea.js/buggy/phpgwapi/js/htmlarea/htmlarea.js