if(this._highlighted){ this.highlight(); } 
	_dock: function(){		if(!this._isDocked && this.dockable){			this._dockNode = this.dockTo.addNode(this);			this._isDocked = true;		}	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/f24dff14ec7aa65a515b2dd9a5a12e552e7293a5/FloatingPane.js/clean/layout/FloatingPane.js