'Changing font and font style' option does not work
Submitted by anj..@..ro.com
Assigned to Havoc Pennington
Description
Tested in both linux and solaris. Solaris - Sun beta 2 build 9 (Sept 17th CVS Snapshot ) Linux - Sept 16th snapshot
When the font size or font style of gnome-terminal is changed , it has no effect on the characters on the screen.
Version: 2.0.x
Resolution: RESOLVED DUPLICATE