[Webkit-unassigned] [Bug 218450] New: [GTK] System font scaling not applied to 'font-size: XXXpt'
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Mon Nov 2 09:38:06 PST 2020
https://bugs.webkit.org/show_bug.cgi?id=218450
Bug ID: 218450
Summary: [GTK] System font scaling not applied to 'font-size:
XXXpt'
Product: WebKit
Version: Other
Hardware: Unspecified
OS: Unspecified
Status: NEW
Severity: Normal
Priority: P2
Component: WebKitGTK
Assignee: webkit-unassigned at lists.webkit.org
Reporter: mcrha at redhat.com
CC: bugs-noreply at webkitgtk.org
Upstream bug report against Evolution:
https://gitlab.gnome.org/GNOME/evolution/-/issues/1195
The user has set in the system (GNOME Tweaks) fractional font scaling (1.5 in his case) and WebKitGTK shows text inside <font size="3"></font> in a different size than the fonts out of the <font/> element, while these two should be the same. It does that when the font-size style is declared in 'pt'.
I can fix it on the Evolution side, but in case some future version of the WebKitGTK will apply the system font scaling factor to the 'pt' font-size, it might apply it twice (once by evo, once by WebKit), thus I'm asking whether you think it should be fixed on the application side or on the WebKitGTK side.
Example HTML for testing, where the "size3" and the "size normal" should be of the same size:
<html><head>
<style><!-- body { font-size:10pt; } --></style>
</head><body>
<font size="1">size1</font><br>
<font size="2">size2</font><br>
<font size="3">size3</font>size normal<br>
<font size="4">size4</font><br>
<font size="5">size5</font><br>
<font size="6">size6</font><br>
<font size="7">size7</font><br>
</body></html>
--
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/20201102/9d9bb72e/attachment.htm>
More information about the webkit-unassigned
mailing list