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