rem: addJS("../ajaxanimator/historyManagement.js",function(){ checkEdit(); setSD(); initHistory = "true"; }) 
add: Ext.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(){disableKeys()}; y.onblur=function(){enableKeys()}; } }) 
context: 	addJS("../ajaxanimator/historyManagement.js",function(){	checkEdit();	setSD();	initHistory = "true";	})
meta: 5269	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5269/37e6039e12288c0cf1c58257f6f5a672540415d7/jsOut.js/buggy/Animator/dev/tmp/jsOut.js