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: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/ee372ff16722d388105bcbd349e08b5bc0ed7211/venkman-views.js/buggy/extensions/venkman/resources/content/venkman-views.js