[Webkit-unassigned] [Bug 272676] New: Rename screenDPI() to fontDPI() where used for font scaling

[bugzilla-daemon at webkit.org]

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

            Bug ID: 272676
           Summary: Rename screenDPI() to fontDPI() where used for font
                    scaling
           Product: WebKit
           Version: Other
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Minor
          Priority: P2
         Component: WebKitGTK
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: gwhitneycom5 at pobox.com
                CC: bugs-noreply at webkitgtk.org

As reported in https://bugs.webkit.org/show_bug.cgi?id=247980, WebKitGTK has display and font scaling issues on certain combinations of display pixel density and GTK settings. Based on the code and the proposed fix in https://github.com/WebKit/WebKit/pull/26938, it appears that these problems have arisen because in the GTK context, "screenDPI" in some places in the code refers to the pixel density of the underlying display, whereas in others it refers to a nominal DPI used for the purposes of scaling fonts. The latter uses should be renamed as fontDPI. This bug is being filed at @mcatanzaro's suggestion to provide an associated bug for the renaming PR https://github.com/WebKit/WebKit/pull/26954.

-- 
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/20240415/e0339d62/attachment.htm>