rem: oObserverService.RemoveObserver(oNavObserver, "StartDocumentLoad"); oObserverService.RemoveObserver(oNavObserver, "EndDocumentLoad"); oObserverService.RemoveObserver(oNavObserver, "FailDocumentLoad"); 
add: oObserverService.removeObserver(oNavObserver, "StartDocumentLoad"); oObserverService.removeObserver(oNavObserver, "EndDocumentLoad"); oObserverService.removeObserver(oNavObserver, "FailDocumentLoad"); 
context: function Destruct(){	// remove our navigation observer.	var oObserverService = Components.classes["@mozilla.org/observer-service;1"].getService();	oObserverService = oObserverService.QueryInterface(Components.interfaces.nsIObserverService);	if (oObserverService && oNavObserver) {		oObserverService.RemoveObserver(oNavObserver, "StartDocumentLoad");		oObserverService.RemoveObserver(oNavObserver, "EndDocumentLoad");		oObserverService.RemoveObserver(oNavObserver, "FailDocumentLoad");		oNavObserver = null;	} else {		dump("FAILURE to get observer service\n");	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/da7e1268bd1d056d9a1cf802e22f3313c5accb15/related-panel.js/buggy/xpfe/components/related/resources/related-panel.js