diff options
author | Marco Pesenti Gritti <marco@it.gnome.org> | 2003-06-17 00:07:07 +0800 |
---|---|---|
committer | Marco Pesenti Gritti <mpeseng@src.gnome.org> | 2003-06-17 00:07:07 +0800 |
commit | a9584d29c22a23410e0092d979129fca458268e7 (patch) | |
tree | 1c66f2f5ccb02f243b48d79d0efc289c5243bb6d | |
parent | 622cb80aadf523ca0d1c742f9235a04385edd1cd (diff) | |
download | gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.tar gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.tar.gz gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.tar.bz2 gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.tar.lz gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.tar.xz gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.tar.zst gsoc2013-epiphany-a9584d29c22a23410e0092d979129fca458268e7.zip |
Fix use document colors
2003-06-16 Marco Pesenti Gritti <marco@it.gnome.org>
* embed/mozilla/mozilla-notifiers.cpp:
Fix use document colors
-rw-r--r-- | embed/mozilla/mozilla-notifiers.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/embed/mozilla/mozilla-notifiers.cpp b/embed/mozilla/mozilla-notifiers.cpp index f67bf6492..855334371 100644 --- a/embed/mozilla/mozilla-notifiers.cpp +++ b/embed/mozilla/mozilla-notifiers.cpp @@ -599,8 +599,10 @@ mozilla_own_fonts_notifier(GConfClient *client, GConfEntry *entry, EphyEmbedSingle *single) { - mozilla_prefs_set_int("browser.display.use_document_fonts", - !gconf_value_get_bool(entry->value)); + int value; + + value = gconf_value_get_bool(entry->value) ? 0 : 1; + mozilla_prefs_set_int("browser.display.use_document_fonts", value); } static void |