Skip to content

Eliminate the need to use monospaced fonts to prevent ghosting - #1070

Merged
mathoudebine merged 1 commit into
mainfrom
dev/1035-eliminate-the-need-to-use-monospaced-fonts-to-prevent-ghosting
Aug 27, 2026
Merged

Eliminate the need to use monospaced fonts to prevent ghosting#1070
mathoudebine merged 1 commit into
mainfrom
dev/1035-eliminate-the-need-to-use-monospaced-fonts-to-prevent-ghosting

Commits

Commits on Aug 26, 2026