From ec6272ff47626716fec6b8e3416a7ece2a105472 Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <marco@localhost.localdomain>
Date: Wed, 25 Oct 2006 14:22:21 +0000
Subject: Change the font size unit to points, so that we actually

adapt to resolution. Default size are converted from mozilla
pixel based sizes.
---
(limited to 'lib')

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);
--
cgit v0.9.1