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