Description Martin Oberhuber 2010-06-04 05:31:06 EDT

Created attachment 171080 [details]
Screenshot of Solaris Terminal

+++ This bug was initially created as a clone of Bug #265352 +++

As a Terminal User, I'd like to use a small font in the Terminal such that I can see lots of output but still keep my normal editor font.

At the moment, the Terminal re-uses the "Default Text Font" which can be changed vie Window > Preferences > Appearance > Basic. This font is also used in the Editor and many other views; on some Systems (Windows), the OS prescribes this font as the default font.

On Solaris-10, the default font is proportional, which leads to a relatively wide, ugly display in the Terminal. That's another important reason for providing a separate Preference setting for Terminal font.

As per bug 265352, one important decision to make is whether this Preference Settign should be declared in the Terminal Widget (and thus apply to all Terminal widges, regardless of where it's embedded), or in the Terminal View. I would tentatively vouch for the Terminal Widget since that keeps the number of locations where to change fonts smaller.

BTW, it would be cool to provide access to the "change Terminal font Preference directly from the Terminal.