diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-25 13:43:37 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-25 13:43:37 (GMT) |
| commit | 581a3a0cb402fdc337ea04c5673baed5e98d671d (patch) | |
| tree | 65c1b7aafb8fa17a01b85fec2e2b0f8ceaea81de /lib/data | |
| parent | 96b150d2bb63720983d1957bb955367a6747c2f7 (diff) | |
Read mozilla prefs from a js file
Diffstat (limited to 'lib/data')
| -rw-r--r-- | lib/data/Makefile.am | 4 | ||||
| -rw-r--r-- | lib/data/gecko-prefs.js | 18 |
2 files changed, 22 insertions, 0 deletions
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"); |