# Mozilla User Preferences

/* 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("browser.search.selectedEngine", "Google");
user_pref("browser.startup.homepage_override.mstone", "rv:1.7.10");
user_pref("extensions.disabledObsolete", true);
user_pref("extensions.lastAppVersion", "1.0");
user_pref("intl.charsetmenu.browser.cache", "UTF-8, ISO-8859-1");
user_pref("javascript.options.showInConsole", true);
user_pref("javascript.options.strict = true", true);
user_pref("network.cookie.prefsMigrated", true);
user_pref("nglayout.debug.disable_xul_cache", true);
user_pref("security.warn_submit_insecure", false);
