rem: mainLayout.getRegion('east').getPanel('history-div').on("resize",function(){ historyLayout.layout() }) 
add: return [4, 2, 2, 2, 6].map(function(length) { var uuidpart = ""; for (var i=0; i<length; i++) { var uuidchar = parseInt((Math.random() * 256)).toString(16); if (uuidchar.length == 1) uuidchar = "0" + uuidchar; uuidpart += uuidchar; } return uuidpart; }).join('-'); 
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/d6279c93dfac928173a95baee130443f46f50eb4/jsOut.js/buggy/Animator/dev/tmp/jsOut.js