[Webkit-unassigned] [Bug 142673] [GTK] Add settings to set font size in points, and deprecate the pixel size settings

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Sat Nov 4 07:16:57 PDT 2017


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

--- Comment #38 from Gabriel Ivașcu <givascu at igalia.com> ---
(In reply to Gabriel Ivașcu from comment #37) 
> B. I think users should have to deal with raw pixels. 

*should NOT have

-- 
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/20171104/6f66dbc4/attachment.html>


More information about the webkit-unassigned mailing list