add: Ext.get(id).on("mouseout",function(){ if($(id).style.backgroundImage.indexOf("buttonMask") != -1){ $(id).style.backgroundImage = "" } }) Ext.get(id).on("click",function(){ if(id == "delete"){ changeSelectedUI("delete") deleteShape() setTimeout("drawTools.select();",100); }else{ drawTools[id]() } }) })(iconId[iid]) 
context: ajaxanimator.onReady(function(){var x = document.getElementsByTagName("textarea")for (var i = 0;i<x.length;i++){var y = x[i]y.hasFocus=false;y.onfocus=function(){keyShortcuts.disable();};y.onblur=function(){keyShortcuts.enable();};}})
meta: 5269	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5269/d6279c93dfac928173a95baee130443f46f50eb4/jsOut.js/buggy/Animator/dev/tmp/jsOut.js