Comment 16 for bug 1900729

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.