rem: 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();}; }  
add: mainLayout.getRegion('east').getPanel('user-div').on("resize",function(){ fileLayout.layout() 
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/af9f096c35280c572f3a344cbbc4dee702b4ef92/jsOut.js/clean/Animator/dev/tmp/jsOut.js