Bug 17122 – [GTK] Bad font default settings

• Component: WebKitGTK
• Status: RESOLVED FIXED

[Pierre-Luc Beaudoin]

Displaying the same pages in WebKit/Gtk+ and Firefox 2.0 doesn't result in the same font size.

The current default size for WebKit is 10, where Firefox has 16.  Setting  PROP_DEFAULT_FONT_SIZE to 12 seems to make the fonts look the same size.

In WebKit, Monospaced and regular fonts have the same size while they differ in Firefox.  The included link has a good simple example of monospace usage.

[Alp Toker]

Agreed. Our best hope is to do exactly what fx does when it comes to font matching and sizes since users will be used to their existing settings.

Although the per-screen DPI-based font size adjustment we have in WebSettings is cool, we may have to disable it by default to match fx.

Like you say, the default sizes need looking at. Fonts like "sans" and "monospace" are generally a good choice since FontConfig is meant to do the right thing with them.

WebKit/Mac has special cases for certain fonts. If fx special-cases specific fonts, we should borrow their code and/or matching rules. Time to look at http://mxr.mozilla.org

herzi, and thoughts on this? Is your patch likely to be ready soon?

[Christian Dywan]

Created attachment 25368 [details]
Use default font size 12 instead of 10

This is a tiny modification, defining the default font size as 12 instead of 10, so that in the usual case the font comes very close to the default on other platforms.

I ponder hacking up a new setting "force-96-dpi", which would still be disabled by default but instead web browsers and clients displaying web pages would enab le it and also provide an according preference. The reasoning being that this historical quirk is only useful for compatibility and hardly helping usability if the user actually has a considerably high resolved screen.
I'd like some kind of feedback from a reviewer beforehand, though. The lack of interest in API additions isn't exactly motivating lately.

[Holger Freyther]

Comment on attachment 25368 [details]
Use default font size 12 instead of 10


> -                                    5, G_MAXINT, 10,
> +                                    5, G_MAXINT, 12,
>                                      flags));

Okay, after the previous discussion it seems that we want that. A 96dpi config option will be much appreciated, we will need it for the regression testing.

[Christian Dywan]

2008-11-24  Christian Dywan  <[e-mail]>

        Reviewed by Holger Freyther.

        http://bugs.webkit.org/show_bug.cgi?id=17122
        [GTK] Bad font default settings

        * webkit/webkitwebsettings.cpp:
        (_WebKitWebSettingsPrivate::webkit_web_settings_class_init):
        Use default font size 12 instead of 10

[Christian Dywan]

Created attachment 25444 [details]
Implement "enforce-96-dpi" setting

Here comes "enforce-96-dpi", which overrides the DPI detection.

[Holger Freyther]

Comment on attachment 25444 [details]
Implement "enforce-96-dpi" setting

The usage of NULL is a bit sad but we already have that at many places.

[Christian Dywan]

2008-11-29  Christian Dywan  <[e-mail]>

        Reviewed by Holger Freyther.

        http://bugs.webkit.org/show_bug.cgi?id=17122
        [GTK] Bad font default settings

        Implement a property "enforce-96-dpi" in WebKitWebSettings
        that can be enabled to force the view to assume 96 DPI.

        * webkit/webkitwebsettings.cpp:
        (_WebKitWebSettingsPrivate::):
        (_WebKitWebSettingsPrivate::webkit_web_settings_class_init):
        (_WebKitWebSettingsPrivate::webkit_web_settings_set_property):
        (_WebKitWebSettingsPrivate::webkit_web_settings_get_property):
        * webkit/webkitwebview.cpp: