[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 #47 from Carlos Garcia Campos <cgarcia at igalia.com> ---
(In reply to Michael Catanzaro from comment #46)
> I'm going to suggest adding a new API header "webkit-util.h". But let's see
> if Carlos has a different recommendation.

Why are we still discussing this in this bug? Anyway, maybe generic functions to convert between points and pixels sounds out of scope of WebKit, it should be in GTK+ instead (or GdkScreen). If we add generic methods it might not be obvious that those are thought to be used to set/get fonts sizes in WebKitSettings in points. Adding them to WebKitSettings makes it obvious. If we still want to have global functions, I would add them to WebKitSettings as "static" methods (static as in C++, methods of WebKitSettings that don't receive an object instance).

-- 
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/20171107/190400f5/attachment.html>