1
# Mozilla User Preferences
3
/* Do not edit this file.
5
* If you make changes to this file while the browser is running,
6
* the changes will be overwritten when the browser exits.
8
* To make a manual change to preferences, you can visit the URL about:config
9
* For more information, see http://www.mozilla.org/unix/customizing.html#prefs
12
user_pref("browser.search.selectedEngine", "Google");
13
user_pref("browser.startup.homepage_override.mstone", "rv:1.7.12");
14
user_pref("extensions.disabledObsolete", true);
15
user_pref("extensions.lastAppVersion", "1.0");
16
user_pref("intl.charsetmenu.browser.cache", "ISO-8859-1, UTF-8");
17
user_pref("network.cookie.prefsMigrated", true);
18
user_pref("security.warn_entering_secure", false);
19
user_pref("security.warn_submit_insecure.show_once", false);