if (event.offsetX > 10 || !element.treeElement.hasChildren) 
if (event.offsetX > element.treeElement.arrowToggleWidth || !element.treeElement.hasChildren) 
TreeElement.treeElementSelected = function(event){    var element = event.currentTarget;    if (!element || !element.treeElement || !element.treeElement.selectable)        return;    if (event.offsetX > 10 || !element.treeElement.hasChildren)        element.treeElement.select();}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/34bb5fbb62b629039e0ff2acb2c0fb532fa27177/treeoutline.js/buggy/WebCore/page/inspector/treeoutline.js