Eliminate the need to use monospaced fonts to prevent ghosting #1035

Open

Labels

opened

on Jul 24, 2026

Please see:
SinyaWeo@1f8b0be

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests