@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 or view it on GitHub: https://github.com/geany/geany/issues/1387#issuecomment-612983185
