Character does not scale properly as font size changes
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
Some information has been provided here:
https:/
Basically, the Diamond character in the APL385.ttf font does not scale correctly when the system
font size changes using, e.g., System/
If using an xterm, the character does scale correctly when using CTRL-right-click to set font size.
ProblemType: Bug
DistroRelease: Ubuntu 10.10
Package: gnome-terminal 2.32.0-0ubuntu1
ProcVersionSign
Uname: Linux 2.6.35-25-generic x86_64
NonfreeKernelMo
Architecture: amd64
Date: Fri Jul 22 15:58:56 2011
InstallationMedia: Ubuntu 10.10 "Maverick Meerkat" - Release amd64 (20101007)
ProcEnviron:
PATH=(custom, user)
LANG=en_CA.utf8
SHELL=/bin/bash
SourcePackage: gnome-terminal
One possibility is that the APL385.ttf font entry for diamond is either wrong,
or has some subtle problem that causes gnome-terminal to get the scaling wrong.
The font is available here:
www.dyalog. com/downloads/ fonts/Apl385. ttf