diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-25 14:22:21 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-25 14:22:21 (GMT) |
commit | ec6272ff47626716fec6b8e3416a7ece2a105472 (patch) | |
tree | b524cd19180256bbdc987621d33b1af5b190e473 /lib | |
parent | b873bfe18d645dc8398b6584e4e3098ccebd13c4 (diff) |
Change the font size unit to points, so that we actually
adapt to resolution. Default size are converted from mozilla
pixel based sizes.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/data/gecko-prefs.js | 92 |
1 files changed, 81 insertions, 11 deletions
diff --git a/lib/data/gecko-prefs.js b/lib/data/gecko-prefs.js index df2ca53..114300a 100644 --- a/lib/data/gecko-prefs.js +++ b/lib/data/gecko-prefs.js @@ -1,18 +1,88 @@ -# 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"); + +user_pref("font.size.unit", "pt"); + +user_pref("font.size.variable.ar", 12); +user_pref("font.size.fixed.ar", 10); + +user_pref("font.size.variable.el", 12); +user_pref("font.size.fixed.el", 10); + +user_pref("font.size.variable.he", 12); +user_pref("font.size.fixed.he", 10); + +user_pref("font.size.variable.ja", 12); +user_pref("font.size.fixed.ja", 12); + +user_pref("font.size.variable.ko", 12); +user_pref("font.size.fixed.ko", 12); + +user_pref("font.size.variable.th", 12); +user_pref("font.size.fixed.th", 10); + +user_pref("font.size.variable.tr", 12); +user_pref("font.size.fixed.tr", 10); + +user_pref("font.size.variable.x-baltic", 12); +user_pref("font.size.fixed.x-baltic", 10); + +user_pref("font.size.variable.x-central-euro", 12); +user_pref("font.size.fixed.x-central-euro", 10); + +user_pref("font.size.variable.x-cyrillic", 12); +user_pref("font.size.fixed.x-cyrillic", 10); + +user_pref("font.size.variable.x-devanagari", 12); +user_pref("font.size.fixed.x-devanagari", 10); + +user_pref("font.size.variable.x-tamil", 12); +user_pref("font.size.fixed.x-tamil", 10); + +user_pref("font.size.variable.x-armn", 12); +user_pref("font.size.fixed.x-armn", 10); + +user_pref("font.size.variable.x-beng", 12); +user_pref("font.size.fixed.x-beng", 10); + +user_pref("font.size.variable.x-cans", 12); +user_pref("font.size.fixed.x-cans", 10); + +user_pref("font.size.variable.x-ethi", 12); +user_pref("font.size.fixed.x-ethi", 10); + +user_pref("font.size.variable.x-geor", 12); +user_pref("font.size.fixed.x-geor", 10); + +user_pref("font.size.variable.x-gujr", 12); +user_pref("font.size.fixed.x-gujr", 10); + +user_pref("font.size.variable.x-guru", 12); +user_pref("font.size.fixed.x-guru", 10); + +user_pref("font.size.variable.x-khmr", 12); +user_pref("font.size.fixed.x-khmr", 10); + +user_pref("font.size.variable.x-mlym", 12); +user_pref("font.size.fixed.x-mlym", 10); + +user_pref("font.size.variable.x-unicode", 12); +user_pref("font.size.fixed.x-unicode", 10); + +user_pref("font.size.variable.x-western", 12); +user_pref("font.size.fixed.x-western", 10); + +user_pref("font.size.variable.zh-CN", 12); +user_pref("font.size.fixed.zh-CN", 12); + +user_pref("font.size.variable.zh-TW", 12); +user_pref("font.size.fixed.zh-TW", 12); + +user_pref("font.size.variable.zh-HK", 12); +user_pref("font.size.fixed.zh-HK", 12); |