gnome-terminal: change font size without saving
Submitted by mar..@..doo.fr
Description
Package: gnome-core Version: 1.2.3.1 Severity: normal
Originator: Christian Marillat Organization: net Synopsis: Class: Gnome-Libs-Release: gnome-libs-1.2.8 Environment:
System: Linux falcon.wanadoo.fr 2.2.17 #1
dim oct 1 16:10:29 CEST 2000 i686 unknown
Architecture: i686
Distribution: Debian Version: woody
Description: Hi,
Sometimes I want to change the font size in just one window, ie because I want to monitor the progress of a background task. I just want the currently opened window to be affected.
However, gnome-terminal (unlike xterm) doesn't support changing the font size without saving the selection so future gnome-terminals will also be affected.
------- Bug moved to this database by debbugs-export@bugzilla.gnome.org 2001-01-27 15:08 ------- This bug was previously known as bug 31318 at http://bugs.gnome.org/ http://bugs.gnome.org/show_bug.cgi?id=31318 Originally filed under the gnome-core product and general component.
Unknown version 1.2.x in product gnome-core. Setting version to the default, "unspecified". The original reporter (marillat.christian@wanadoo.fr) 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.2.x
Resolution: RESOLVED FIXED