[Webkit-unassigned] [Bug 179285] New: [GTK] Add functionality to handle font sizes in points

[bugzilla-daemon at webkit.org]

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

            Bug ID: 179285
           Summary: [GTK] Add functionality to handle font sizes in points
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: givascu at igalia.com
                CC: bugs-noreply at webkitgtk.org

It can be in form of getter/setter functions and/or new font size properties in points.

This is not particularly useful on its own, but it's in conjunction with bug 142673 (the main discussion is in that thread).

When both bugs are fixed, apps will not have to handle font sizes in pixel values anymore, which is more convenient for them.

-- 
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/4c01bd00/attachment.html>