Reply to user_pref Einstellungen von Firefox editieren on Fri, 16 Jun 2006 09:05:53 GMT

Sgt. Sagent — Fri, 16 Jun 2006 09:05:53 GMT

Hallo,

kennt jemand von euch ein Klasse, mit der man die Einstellungen der "prefs.js" von Firefox bearbeiten (bzw. Werte ändern) kann? Oder dibt es da eine API-Funktion wie GetProfileString oder so? Die Datei ist folgendermaßen aufgebaut:

ser_pref("browser.preferences.advanced.selectedTabIndex", 0);
user_pref("browser.preferences.privacy.selectedTabIndex", 0);
user_pref("browser.search.selectedEngine", "Google");
user_pref("browser.startup.homepage", "about:blank");
user_pref("browser.startup.homepage_override.mstone", "rv:1.8.0.4");
user_pref("browser.tabs.loadFolderAndReplace", false);
user_pref("browser.tabs.loadInBackground", false);
user_pref("calendar.alarms.defaultsnoozelength", 60);
user_pref("calendar.alarms.eventalarmunit", "Minuten");