context: qx.Proto.setSelectedElement = function(vElement){  var vManager = this.getManager();  vManager.setSelectedItem(vElement);  vManager.setLeadItem(vElement);}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/32797ee18a2c92a797417cb1392f24fa90943b97/Tree.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/treefullcontrol/Tree.js