diff options
| author | Marco Pesenti Gritti <marco@gnome.org> | 2003-09-10 04:16:23 +0800 |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2003-09-10 04:16:23 +0800 |
| commit | 391bbbee851c7e90e28322cf48a9277cc7aab883 (patch) | |
| tree | 5cb8c2366abe12cc7551aebefe792c4183d324df /data/default-prefs.js | |
| parent | 47fd3c8f0f15c3482ac51b6ab8de1414d4fd7881 (diff) | |
| download | gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar.gz gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar.zst gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.zip | |
First important step in solving the fonts mess. Allow to select the
2003-09-09 Marco Pesenti Gritti <marco@gnome.org>
* data/default-prefs.js:
* data/glade/prefs-dialog.glade:
* embed/ephy-embed-single.c: (ephy_embed_single_get_font_list):
* embed/ephy-embed-single.h:
* embed/mozilla/mozilla-embed-single.cpp:
* embed/mozilla/mozilla-notifiers.cpp:
* src/prefs-dialog.c: (setup_font_menu), (attach_fonts_signals),
(setup_size_controls), (setup_fonts), (prefs_dialog_init):
First important step in solving the fonts mess.
Allow to select the variable width instead of
families. Also use points instead of pixels.
Set a minimum font size by default.
Diffstat (limited to 'data/default-prefs.js')
| -rw-r--r-- | data/default-prefs.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/data/default-prefs.js b/data/default-prefs.js index ceba11b0f..e225055a1 100644 --- a/data/default-prefs.js +++ b/data/default-prefs.js @@ -36,3 +36,6 @@ pref("keyword.enabled", true); pref("security.warn_entering_secure", false); pref("security.warn_leaving_secure", false); pref("security.warn_submit_insecure", false); + +// fonts +pref("font.size.unit", "pt"); |