You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Might be worth mentioning that it's mainly "DejaVu Sans Mono" that causes this issue, which aliased as "Monospace" by default on Ubuntu, but meh.
Done. Even though IIRC on my system it happened also with other fonts. But yeah, the combination of "DejaVu Sans Mono" and Ubuntu is probably common enough to mention.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.