VijayaNarayanan S svijay at cadence.com
Sat Jun 9 09:42:15 UTC 2001

I wanted to know how to
change the font for the
Terminal, it has the default
font only, and has got
options like tiny,small, medium
and large . 

I need to change for the Terminal

Help me out.


to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body:
unsubscribe »your-email-address«

More information about the KDevelop-devel mailing list