[Webkit-unassigned] [Bug 15378] WebKit GTK+ should use Font info from GtkStyle, and aliases, by default

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Sun Oct 14 13:51:58 PDT 2007


http://bugs.webkit.org/show_bug.cgi?id=15378





------- Comment #9 from freyther at handhelds.org  2007-10-14 13:51 PDT -------
(In reply to comment #8)
> I'm still not convinced this patch is a good thing.  Other platforms all
> default to the hard-coded values, but allow the user to explicitly override
> them.  WebKit on Windows, for instance, does not default to the OSs default UI
> font.  It defaults to the standard web fonts.

I'm not convinced as well:
   - You should not change the font names. Fontconfig is supposed to take care
of that
   - Changing the default sizes is probably not good as well
   - You do not listen to the style change signal. If you would do you would in
some situations overwrite users changes to the Settings. So if you still want
to work on it feel free to implement webkitsettings (using properties) and show
how to react on changing the style using GtkLauncher.


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



More information about the webkit-unassigned mailing list