> Tried again, and the problem goes away if I close all open gnome-terminals, > so this bug can be closed. > I guess it's a problem in gnome-terminal that doesn't detect the font file > changed, and tries accessing glyphs in wrong locations in the font file > (based on the older file).
There is a longstanding bug where apps need to be restarted to make use of updated fonts. A particularly serious report of this is https://bugs.debian.org/788791 which is mitigated because the Cantarell font (the default UI font for Debian's GNOME Shell) is only updated rarely. Thank you, Jeremy Bícha
