[Webkit-unassigned] [Bug 142673] [GTK] Automatically adjust font size when gtk-xft-dpi changes

[bugzilla-daemon at webkit.org]

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

--- Comment #12 from Gabriel Ivașcu <givascu at igalia.com> ---
Hi,

Please check my proposed patch from comment 9.

I've added new font size properties in points and deprecated the old ones in pixels. Whenever the font size in points is updated, it is converted internally to pixels with respect to the screen DPI. This is similar with what WebKit1 had, only that now WebKitSettings also listens to gtk-xft-dpi changes and updates the font size internally when the DPI has changed.

I've tested this in Devhelp and I have a patch ready to use the new properties once this gets accepted.

This is my first WebKit patch, so please go easy on me :)

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20171030/75f42900/attachment-0001.html>