You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
@codebrainz Yes I successfully used the line_height work-around. I just wanted to report this here because Ubuntu 20.04 will probably be released this month, and this was one of the issues I ran into. Did not have this issue on 19.10 and prior. And yes, it maps to this font:
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.