diff options
| author | Marco Pesenti Gritti <marco@src.gnome.org> | 2003-09-30 03:51:53 +0800 |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2003-09-30 03:51:53 +0800 |
| commit | 489144a63292736d5b8abb3fb04175638db70cc8 (patch) | |
| tree | 5644d9c68073672a104f6a6ba6f90ee839d667ba | |
| parent | 0bd5c2029fe4b3c4d4268071afce36db2a77a080 (diff) | |
| download | gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.tar gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.tar.gz gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.tar.bz2 gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.tar.lz gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.tar.xz gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.tar.zst gsoc2013-epiphany-489144a63292736d5b8abb3fb04175638db70cc8.zip | |
*** empty log message ***
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | data/default-prefs.js | 33 |
2 files changed, 39 insertions, 0 deletions
@@ -1,3 +1,9 @@ +2003-09-29 Marco Pesenti Gritti <marco@gnome.org> + + * data/default-prefs.js: + + Add defaults in points for fonts + 2003-09-28 Marco Pesenti Gritti <marco@gnome.org> * embed/mozilla/mozilla-embed-single.cpp: diff --git a/data/default-prefs.js b/data/default-prefs.js index 0023a9094..306a0dcf2 100644 --- a/data/default-prefs.js +++ b/data/default-prefs.js @@ -39,3 +39,36 @@ pref("security.warn_submit_insecure", false); // fonts pref("font.size.unit", "pt"); +pref("font.size.fixed.ar", 10); +pref("font.size.fixed.x-baltic", 10); +pref("font.size.fixed.x-central-euro", 10); +pref("font.size.fixed.x-cyrillic", 10); +pref("font.size.fixed.x-devanagari", 10); +pref("font.size.fixed.el", 10); +pref("font.size.fixed.he", 10); +pref("font.size.fixed.ja", 10); +pref("font.size.fixed.ko", 10); +pref("font.size.fixed.zh-CN", 10); +pref("font.size.fixed.x-tamil", 10); +pref("font.size.fixed.th", 10); +pref("font.size.fixed.zh-TW", 10); +pref("font.size.fixed.tr", 10); +pref("font.size.fixed.x-unicode", 10); +pref("font.size.fixed.x-western", 10); +pref("font.size.variable.ar", 11); +pref("font.size.variable.x-baltic", 11); +pref("font.size.variable.x-central-euro", 11); +pref("font.size.variable.x-cyrillic", 11); +pref("font.size.variable.x-devanagari", 11); +pref("font.size.variable.el", 11); +pref("font.size.variable.he", 11); +pref("font.size.variable.ja", 11); +pref("font.size.variable.ko", 11); +pref("font.size.variable.zh-CN", 11); +pref("font.size.variable.x-tamil", 11); +pref("font.size.variable.th", 11); +pref("font.size.variable.zh-TW", 11); +pref("font.size.variable.tr", 11); +pref("font.size.variable.x-unicode", 11); +pref("font.size.variable.x-western", 11); + |