rem: var os = Components.classes["@mozilla.org/observer-service;1"].getService(Components.interfaces.nsIObserverService); os.notifyObservers(null, "charsetmenu-selected", "mailedit"); 
add: Components.classes["@mozilla.org/observer-service;1"] .getService(Components.interfaces.nsIObserverService) .notifyObservers(null, "charsetmenu-selected", "mailedit"); 
context:   readDefaultCharset: function()  {    if (!this.mCharsetMenuInitialized)     {      var os = Components.classes["@mozilla.org/observer-service;1"].getService(Components.interfaces.nsIObserverService);      os.notifyObservers(null, "charsetmenu-selected", "mailedit");           this.mCharsetMenuInitialized = true;    }    return undefined;  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/58f6347733c6dc899713408fe16d6641419bf688/display.js/buggy/mail/components/preferences/display.js