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 /ChangeLog | |
parent | 47fd3c8f0f15c3482ac51b6ab8de1414d4fd7881 (diff) | |
download | gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar.gz gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar.bz2 gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar.lz gsoc2013-epiphany-391bbbee851c7e90e28322cf48a9277cc7aab883.tar.xz 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 'ChangeLog')
-rw-r--r-- | ChangeLog | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -1,3 +1,19 @@ +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. + 2003-09-09 Christian Persch <chpe@cvs.gnome.org> * lib/widgets/Makefile.am: |