11 messages in org.webkit.lists.webkit-unassigned[Webkit-unassigned] [Bug 82889] WebKi...| From | Sent On | Attachments |
|---|---|---|
| bugz...@webkit.org | Apr 2, 2012 5:13 am | |
| bugz...@webkit.org | Apr 10, 2012 8:36 am | |
| bugz...@webkit.org | Apr 11, 2012 2:26 am | |
| bugz...@webkit.org | Apr 11, 2012 7:52 am | |
| bugz...@webkit.org | Jul 25, 2012 2:19 am | |
| bugz...@webkit.org | Jul 25, 2012 11:24 pm | |
| bugz...@webkit.org | Jul 26, 2012 1:07 am | |
| bugz...@webkit.org | Jul 26, 2012 1:10 am | |
| bugz...@webkit.org | Jul 26, 2012 1:56 am | |
| bugz...@webkit.org | Oct 31, 2016 6:52 pm | |
| bugz...@webkit.org | Oct 31, 2016 6:52 pm |
| Subject: | [Webkit-unassigned] [Bug 82889] WebKitGtk 1.8.0 doesn't follow system/gtk font settings | |
|---|---|---|
| From: | bugz...@webkit.org (bugz...@webkit.org) | |
| Date: | Jul 25, 2012 11:24:55 pm | |
| List: | org.webkit.lists.webkit-unassigned | |
https://bugs.webkit.org/show_bug.cgi?id=82889
--- Comment #5 from Martin Robinson <mrob...@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.
_______________________________________________ webkit-unassigned mailing list webk...@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-unassigned