[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 #44 from Michael Catanzaro <mcatanzaro at igalia.com> ---
(In reply to Gabriel Ivașcu from comment #43)
> OK, I assume we've reached a conclusion? I'll update the patch in bug 179285.

Almost. Instead of get_default_font_size_pts() and set_default_font_size_pts(), let's instead go with Carlos's suggestion to expose functions for converting from points to pixels and vice-versa. Then those global functions can be used in combination with the existing pixels properties. And we can minimize the difference between the GTK and WPE APIs, since it would just be two functions that WPE doesn't have, rather than having a separate set of font size properties that work a bit differently.

And, of course, please fix the documentation of minimum-font-size.

-- 
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/20171106/7defcee0/attachment-0001.html>