switch new font on in Gnome Terminal after installing it