[Cooker] gnome-terminal font

[Eugenio Diaz]

After the latest upgrade, I can not change the font in gnome-terminal; 
more precisely, I can change it in the profile preferences, but has no 
effect on the window.

-- 
Eugenio Diaz, BSEE/BSCE
Linux Engineer
[EMAIL PROTECTED]