WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
283301
Fix font used for Bugzilla bug comment text
https://bugs.webkit.org/show_bug.cgi?id=283301
Summary
Fix font used for Bugzilla bug comment text
Jon Davis
Reported
2024-11-18 09:34:13 PST
The wrong font is used for bug comment text. It looks correct in WebKit due to
https://bugs.webkit-dev.org/show_bug.cgi?id=200709
, but not in Chrome or Firefox.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2024-11-18 09:36:44 PST
<
rdar://problem/140128369
>
Jon Davis
Comment 2
2024-11-18 09:37:30 PST
Pull request:
https://github.com/WebKit/WebKit/pull/36805
Enrique Ocaña
Comment 3
2024-11-18 10:02:05 PST
This "unset" value indeed changes the font (to a nicer one) but, still, not to monospace. Wouldn't it make sense to set the font to monospace? At least I was able to set the old Bugzilla like that. See
https://bugs.webkit.org/show_bug.cgi?id=283303
for reasons about why monospace makes sense (spoiler: to properly display text like the one in
https://bugs.webkit.org/show_bug.cgi?id=254222
, as well as any pasted source code).
EWS
Comment 4
2024-11-18 11:06:04 PST
Committed
286739@main
(402000d271fa): <
https://commits.webkit.org/286739@main
> Reviewed commits have been landed. Closing PR #36805 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug