diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2003-11-05 05:51:31 +0800 |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2003-11-05 05:51:31 +0800 |
commit | 359950ec9266be580ab6bb599e59a05919c7c42a (patch) | |
tree | 624544eb83727f13ffab577425257856d8c80421 /embed/mozilla/mozilla-embed.h | |
parent | 8180308e57e97c0c4e69331aac409e49e6a38876 (diff) | |
download | gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.tar gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.tar.gz gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.tar.bz2 gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.tar.lz gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.tar.xz gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.tar.zst gsoc2013-epiphany-359950ec9266be580ab6bb599e59a05919c7c42a.zip |
Better names for new font size keys
2003-11-04 Marco Pesenti Gritti <marco@gnome.org>
* embed/ephy-embed-prefs.h:
Better names for new font size keys
Diffstat (limited to 'embed/mozilla/mozilla-embed.h')
0 files changed, 0 insertions, 0 deletions