context: function resetAllowSelection(){   /*    Do not change anything in the following lines, they are needed as described in the    selection observer above    */   var SearchTree = document.getElementById( UnifinderTreeName );      SearchTree.treeBoxObject.selection.selectEventsSuppressed = false;      SearchTree.addEventListener( "select", unifinderOnSelect, true );}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/28a3cabb264956b462a29714902cd8651656878d/unifinder.js/clean/calendar/resources/content/unifinder.js