Alp
for some reason DPI reported by gdk_screen_get_resolution(screen);
in webkitwebview.cpp is incorrect !!
It returns a -1 !! so i fixed the DPI to 96 when its -1
so probably we need this change !!
*************** static void webkit_web_view_screen_chang
*** 1097,1102 ****
--- 1097,1103 ----
#if GTK_CHECK_VERSION(2, 10, 0)
GdkScreen* screen = gtk_widget_has_screen(GTK_WIDGET(webView)) ?
gtk_widget_get_screen(GTK_WIDGET(webView)) : gdk_screen_get_default();
gdouble DPI = gdk_screen_get_resolution(screen);
+ if (DPI == -1) DPI = 96;
#else
gdouble DPI = 96;
g_warning("Cannot retrieve resolution, falling back to 96 DPI");
--
Sriram Neelakandan
Author - Embedded Linux System Design And Development (
http://tinyurl.com/2doosu)
On Feb 13, 2008 2:09 PM, Alp Toker <[EMAIL PROTECTED]> wrote:
> Some DPI-based font scaling was introduced in this commit:
>
> http://trac.webkit.org/projects/webkit/changeset/29723
>
> Could you try disabling that logic (and anything similar you find in
> WebFrame and WebView) to see if it helps?
>
>
_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-dev
