if(!this._isDocked){ this.hide(dojo.hitch(this,"_dock")); } 
if(!this._isDocked){ this.hide(dojo.hitch(this,"_dock")); } if(this._highlighted){ this.highlight(); } 
	minimize: function(){		// summary: hide and dock the FloatingPane		if(!this._isDocked){			this.hide(dojo.hitch(this,"_dock"));		} 	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/f24dff14ec7aa65a515b2dd9a5a12e552e7293a5/FloatingPane.js/clean/layout/FloatingPane.js