Thanks for the speedy work! I'm afraid I'm registering problems with the update, however.
I just got gir1.2-gtk-3.0 through -proposed, and whereas it works as intended in so far as I can now choose Ubuntu Mono in Gnome Terminal and get the regular font face, it seemingly introduces a bug where gnome- terminal crashes, when I try to select certain typefaces. For instance, when I open up Preferences of go to the font selection box, as soon as I click on e.g. "DejaVu Sans Mono", gnome-terminal just closes. When I open it again, it's still using the previously set font. The problem also occurs with "Inconsolata", but seemingly not with any other fonts I have installed, whether fonts that ship with Ubuntu or fonts I've installed on my own. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1900729 Title: gnome-terminal font settings show only italic version of ubuntu mono To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gtk+3.0/+bug/1900729/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs