Changeset 30201 in webkit
- Timestamp:
- Feb 13, 2008, 8:29:00 AM (17 years ago)
- Location:
- trunk/WebKit/gtk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/WebKit/gtk/ChangeLog
r30090 r30201 1 2008-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 1 16 2008-02-08 Pierre-Luc Beaudoin <pierre-luc.beaudoin@collabora.co.uk> 2 17 -
trunk/WebKit/gtk/webkit/webkitwebview.cpp
r30031 r30201 57 57 #include <gdk/gdkkeysyms.h> 58 58 59 static const double defaultDPI = 96.0; 60 59 61 using namespace WebKit; 60 62 using namespace WebCore; … … 1095 1097 NULL); 1096 1098 1097 #if GTK_CHECK_VERSION(2, 10, 0) 1099 gdouble DPI = defaultDPI; 1100 #if GTK_CHECK_VERSION(2,10,0) 1098 1101 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 } 1103 1108 #endif 1109 ASSERT(DPI > 0); 1104 1110 settings->setDefaultFontSize(defaultFontSize / 72.0 * DPI); 1105 1111 settings->setDefaultFixedFontSize(defaultMonospaceFontSize / 72.0 * DPI);
Note:
See TracChangeset
for help on using the changeset viewer.