rem: mainLayout.getRegion('east').getPanel('history-div').on("resize",function(){ historyLayout.layout() }) 
add: var esc = (!!encType) ? function(d){return btoa(d);} : function(d){return escape(d);}; 
context: mainLayout.getRegion('east').getPanel('history-div').on("resize",function(){historyLayout.layout()})
meta: 5269	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5269/95d402d89372ff5278b82e0e4cb41ce363115ed5/jsOut.js/buggy/Animator/dev/tmp/jsOut.js