} else if (aSplitter.id == "splSearch") { this.setSearch(aSplitter.isOpened, false); 
  onSplitterOpen: function(aSplitter)  {    if (aSplitter.id == "splBrowser") {      this.setBrowser(aSplitter.isOpened, false);    } else if (aSplitter.id == "splSearch") {      this.setSearch(aSplitter.isOpened, false);    }  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/e79a0ace05c2bfb7ffb173ed62d52d500cc9d781/inspector.js/clean/extensions/inspector/resources/content/inspector.js