rem: ajaxanimator.onReady(function(){ var x = document.getElementsByTagName("textarea") 
add: Ext.MessageBox.prompt("Filename","please enter a file name for the animation",function(btn,zSWFFilename){ if(btn != "cancel"){ 
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/95d402d89372ff5278b82e0e4cb41ce363115ed5/jsOut.js/buggy/Animator/dev/tmp/jsOut.js