From 581a3a0cb402fdc337ea04c5673baed5e98d671d Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Wed, 25 Oct 2006 13:43:37 +0000 Subject: Read mozilla prefs from a js file --- (limited to 'lib/data') diff --git a/lib/data/Makefile.am b/lib/data/Makefile.am new file mode 100644 index 0000000..a31043f --- /dev/null +++ b/lib/data/Makefile.am @@ -0,0 +1,4 @@ +geckoconfdir = $(pkgdatadir) +geckoconf_DATA = gecko-prefs.js + +EXTRA_DIST = $(confgecko_DATA) diff --git a/lib/data/gecko-prefs.js b/lib/data/gecko-prefs.js new file mode 100644 index 0000000..df2ca53 --- /dev/null +++ b/lib/data/gecko-prefs.js @@ -0,0 +1,18 @@ +# Mozilla User Preferences + +/* Do not edit this file. + * + * If you make changes to this file while the application is running, + * the changes will be overwritten when the application 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("dom.disable_open_during_load", true); +user_pref("network.cookie.prefsMigrated", true); +user_pref("security.warn_submit_insecure", false); +user_pref("ui.-moz-field", "#FFFFFF"); +user_pref("ui.-moz-fieldtext", "#000000"); +user_pref("ui.buttonface", "#D3D3DD"); +user_pref("ui.buttontext", "#000000"); -- cgit v0.9.1