context: function OnClick(event, node){    if( event.type == "click" &&        ( event.button != 0 || event.detail != 2 || node.nodeName != "treeitem") )      return(false);    if( event.type == "keypress" && event.keyCode != 13 )      return(false);    var tree = document.getElementById("tree");    if( tree.selectedItems.length == 1 ) {        var selectedItem = tree.selectedItems[0];        var url = selectedItem.getAttribute("URL");                window._content.location.href = url;                // set window title        var theWindow = window._content.parentWindow;        if (theWindow)            theWindow.title = url;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8f2fbe8eb9947b25d596b0e96f6731a563b42488/directory.js/buggy/suite/common/directory/directory.js