Firefox: Änderungen in userContent.css übernehmen ohne Neustart?

[Dieter Raber]

Hallo Andreas,

Ich habe schon eine ganze Zeitlang nichts mehr mit XUL gemacht, aber meine user.js fuer die Entwicklung existiert noch. Kopiere diese in dein Profilverzeichnis, bzw. ergaenze eine evtl. vorhandene user.js. Leider, so muss ich gestehen, weiss sich nicht mehr bei allen Optionen, wozu sie gut sind, ich hatte die Datei seinerzeit aus 'Rapid Application Development' abgekupfert. Jedenfalls wird XUL-Caching verhindert und davon meine ich, dass es dir helfen koennte. Aber letzendlich ist es hiermit wie beim Lotto, alle Angaben ohne Gewähr - den Versuch ist es allemal wert.

Mozilla User Preferences for development

/* Do not edit this file.
 *
 * If you make changes to this file while the browser is running,
 * the changes will be overwritten when the browser exits.
 *
 * To make a manual change to preferences, you can visit the URL about:config
 * For more information, see http://www.mozilla.org/unix/customizing.html#prefs
 */

user_pref("browser.dom.window.dump.enabled", true);
user_pref("nglayout.debug.disable_xul_cache", true);
user_pref("javascript.options.strict", true);
user_pref("nglayout.debug.disable_xul_fastload", true);
user_pref("signed.applets.codebase_principal_support", true);
user_pref("xul_debug.box", false);

Gruß,

Dieter