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