Changeset 30201 in webkit


Ignore:
Timestamp:
Feb 13, 2008 8:29:00 AM (16 years ago)
Author:
alp@webkit.org
Message:

2008-02-13 Alp Toker <alp@atoker.com>

Reviewed by Adam Roben.

Fix very small, upside down, inside out text on GTK+/DirectFB.

Based on an initial patch by Sriram Neelakandan <sriram.neelakandan@gmail.com>

Test the result of gdk_screen_get_resolution() and use a default
fallback in case of failure.

Also remove an unhelpful runtime warning.

  • webkit/webkitwebview.cpp:
Location:
trunk/WebKit/gtk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/WebKit/gtk/ChangeLog

    r30090 r30201  
     12008-02-13  Alp Toker  <alp@atoker.com>
     2
     3        Reviewed by Adam Roben.
     4
     5        Fix very small, upside down, inside out text on GTK+/DirectFB.
     6
     7        Based on an initial patch by Sriram Neelakandan <sriram.neelakandan@gmail.com>
     8
     9        Test the result of gdk_screen_get_resolution() and use a default
     10        fallback in case of failure.
     11
     12        Also remove an unhelpful runtime warning.
     13
     14        * webkit/webkitwebview.cpp:
     15
    1162008-02-08  Pierre-Luc Beaudoin  <pierre-luc.beaudoin@collabora.co.uk>
    217
  • trunk/WebKit/gtk/webkit/webkitwebview.cpp

    r30031 r30201  
    5757#include <gdk/gdkkeysyms.h>
    5858
     59static const double defaultDPI = 96.0;
     60
    5961using namespace WebKit;
    6062using namespace WebCore;
     
    10951097                 NULL);
    10961098
    1097 #if GTK_CHECK_VERSION(2, 10, 0)
     1099    gdouble DPI = defaultDPI;
     1100#if GTK_CHECK_VERSION(2,10,0)
    10981101    GdkScreen* screen = gtk_widget_has_screen(GTK_WIDGET(webView)) ? gtk_widget_get_screen(GTK_WIDGET(webView)) : gdk_screen_get_default();
    1099     gdouble DPI = gdk_screen_get_resolution(screen);
    1100 #else
    1101     gdouble DPI = 96;
    1102     g_warning("Cannot retrieve resolution, falling back to 96 DPI");
     1102    if (screen) {
     1103        DPI = gdk_screen_get_resolution(screen);
     1104        // gdk_screen_get_resolution() returns -1 when no DPI is set.
     1105        if (DPI == -1)
     1106            DPI = defaultDPI;
     1107    }
    11031108#endif
     1109    ASSERT(DPI > 0);
    11041110    settings->setDefaultFontSize(defaultFontSize / 72.0 * DPI);
    11051111    settings->setDefaultFixedFontSize(defaultMonospaceFontSize / 72.0 * DPI);
Note: See TracChangeset for help on using the changeset viewer.