user_pref Einstellungen von Firefox editieren
-
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");