this.expandTreeElementsWhenArrowing = false; 
function TreeOutline(listNode){    this.children = [];    this.selectedTreeElement = null;    this._childrenListNode = listNode;    this._childrenListNode.removeChildren();    this._knownTreeElements = [];    this._treeElementsExpandedState = [];    this.root = true;    this.hasChildren = false;    this.expanded = true;    this.selected = false;    this.treeOutline = this;}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/f7c2d1cd18bedd1549e127824e98c7f4fe16e6d7/treeoutline.js/clean/WebCore/page/inspector/treeoutline.js