rem: lineWidth.on("select",function(c){ setLineWidth() }) 
add: Ext.get(id).on("mouseout",function(){ if($(id).style.backgroundImage.indexOf("buttonMask") != -1){ $(id).style.backgroundImage = "" } }) 
context: 	lineWidth.on("select",function(c){	setLineWidth()	})
meta: 5269	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5269/af9f096c35280c572f3a344cbbc4dee702b4ef92/jsOut.js/clean/Animator/dev/tmp/jsOut.js