[Webkit-unassigned] [Bug 82889] WebKitGtk 1.8.0 doesn't follow system/gtk font settings

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Wed Jul 25 23:25:20 PDT 2012


https://bugs.webkit.org/show_bug.cgi?id=82889





--- Comment #5 from Martin Robinson <mrobinson at webkit.org>  2012-07-25 23:25:25 PST ---
(In reply to comment #4)
> I still believe that in webkitgtk you should follow gtk settings, it's WebKit *GTK*, after all. Nonetheless, I'm not going to fight here.
> 
> I would like to ask you for one thing, though. Could you tell me where and how I can change font settings in fontconfig, please? The best some kind of UI tool, like the gtk has. I know about gtk, but not about fontconfig, and I expect users will ask for it, as they might not like tiny fonts, which are hard to read, same as I do not like them for monospace fonts.

I don't know of a tool to modify fontconfig font settings, but if you look around you should be able to find some examples of how to modify the configuration of all fonts.

The size of the font isn't determined by the fontconfig or XSettings configuration. It's up to the client (Epiphany, for instance) to determine the the default font size. One thing to ensure is that, if you are using Epiphany, you should uncheck "Use system font settings" and choose a more appropriate default size.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.



More information about the webkit-unassigned mailing list