After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 160455 - Change "system terminal font" to "system monospace font"
Change "system terminal font" to "system monospace font"
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on: 160453
Blocks:
 
 
Reported: 2004-12-04 21:51 UTC by Shaun McCance
Modified: 2015-03-06 00:41 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Change the label (985 bytes, patch)
2006-08-28 01:32 UTC, Mariano Suárez-Alvarez 		none Details | Review

Description Shaun McCance 2004-12-04 21:51:08 UTC 
http://bugzilla.gnome.org/show_bug.cgi?id=160454

The patch changes "Terminal font" to "Monospace font" in gnome-font-properties.
 If applied, "Use the system terminal font" should be changed to "Use the system
monospace font" in the profile editor.
Comment 1 Mariano Suárez-Alvarez 2006-08-28 01:32:04 UTC 
Created attachment 71737 [details] [review]
Change the label

Current gnome-font-properties reads `Fixed width font'. This patch uses that.
Comment 2 Mariano Suárez-Alvarez 2006-10-17 08:08:40 UTC 
Fixed in HEAD:

2006-10-17  Mariano Suárez-Alvarez  <msuarezalvarez@arnet.com.ar>

        Bug 160455 – Change "system terminal font" to "system monospace font"

        * src/gnome-terminal.glade2: s/terminal font/fixed width font/ in the
        profile editor dialog, so that out language matches             
        gnome-font-properties'.