Bug 14476
Summary: | gnome-terminal doesn't handle proportional fonts | ||
---|---|---|---|
Product: | [Retired] Red Hat Linux | Reporter: | Trond Eivind Glomsrxd <teg> |
Component: | gnome-core | Assignee: | Havoc Pennington <hp> |
Status: | CLOSED WONTFIX | QA Contact: | |
Severity: | medium | Docs Contact: | |
Priority: | medium | ||
Version: | 7.1 | ||
Target Milestone: | --- | ||
Target Release: | --- | ||
Hardware: | i386 | ||
OS: | Linux | ||
Whiteboard: | |||
Fixed In Version: | Doc Type: | Bug Fix | |
Doc Text: | Story Points: | --- | |
Clone Of: | Environment: | ||
Last Closed: | 2000-07-24 16:07:03 UTC | Type: | --- |
Regression: | --- | Mount Type: | --- |
Documentation: | --- | CRM: | |
Verified Versions: | Category: | --- | |
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
Cloudforms Team: | --- | Target Upstream Version: | |
Embargoed: |
Description
Trond Eivind Glomsrxd
2000-07-22 21:41:21 UTC
The only way proportional fonts make sense is to add padding to each character to emulate a fixed width font; this is what xterm does. I'll send the bug upstream, but even if it's fixed I'm not going to put the patch in Winston because it will almost certainly require significant code changes and potentially introduce instability. Upstream as http://bugzilla.gnome.org/show_bug.cgi?id=57442 Closing in RH bugzilla |