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 Window. Help me out. Vijay - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«