Why do they mess with that math symbol in gnome-desktop?
Anyway, the issue surfaced because of the font changes I made. Previously DejaVu Sans was used to render the Ratio character, and now, when the fonts-dejavu-core package is not present, DejaVu Sans Mono seems to be used instead. Hence the extra whitespace.
I uploaded a language-selector change so it uses Noto Sans Math for rendering Ratio.
Why do they mess with that math symbol in gnome-desktop?
Anyway, the issue surfaced because of the font changes I made. Previously DejaVu Sans was used to render the Ratio character, and now, when the fonts-dejavu-core package is not present, DejaVu Sans Mono seems to be used instead. Hence the extra whitespace.
I uploaded a language-selector change so it uses Noto Sans Math for rendering Ratio.
https:/ /git.launchpad. net/~ubuntu- desktop/ ubuntu/ +source/ language- selector/ commit/ ?id=fc7ec106