rem: this.removeSourceTabAtIndex(index); e.preventBubble() 
add: this.removeSourceTabAtIndex(index); e.stopPropagation(); 
context: function s2v_onclose(e){    var index = this.getIndexOfTab(e.target.parentNode);    this.removeSourceTabAtIndex(index);        e.preventBubble()}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/04cfde2d6fd8dbf1abe2b7ec6ca8d6cbb0386d6d/venkman-views.js/buggy/extensions/venkman/resources/content/venkman-views.js