Gnome-terminal fast font menu
Submitted by fam..@..et.com
Description
Package: gnome-terminal Version: 1.0.53 Severity: wishlist
The only way to change font is via preferences and only one set. It will be cool to have a menu entry named Font that contain # fonts (user selectable number). In preferences you select the default and configure the slots of this menu (name and which font will be used when selected). To change quickly to a frequently used font, just use menu. Gnome-terminal could be set to remember last font as default is user wants, of course, or start with preferences default. Thanks.
GSR
------- Bug moved to this database by debbugs-export@bugzilla.gnome.org 2001-01-27 15:16 ------- This bug was previously known as bug 3527 at http://bugs.gnome.org/ http://bugs.gnome.org/show_bug.cgi?id=3527 Originally filed under the gnome-core product and gnome-terminal component.
Unknown version 1.0.x in product gnome-core. Setting version to the default, "unspecified". The original reporter (famrom@idecnet.com) of this bug does not have an account here. Reassigning to the exporter, debbugs-export@bugzilla.gnome.org. Reassigning to the default owner of the component, gnome-core-maint@bugzilla.gnome.org.
Version: 1.0.5x
Resolution: RESOLVED NOTABUG