Character does not scale properly as font size changes

Bug #814796 reported by Robert Bernecky on 2011-07-22
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
gnome-terminal (Ubuntu)
Undecided
Unassigned

Bug Description

Some information has been provided here:

https://answers.launchpad.net/ubuntu/+source/gnome-terminal/+question/165573

Basically, the Diamond character in the APL385.ttf font does not scale correctly when the system
font size changes using, e.g., System/Preferences/Appearance Preferences/Fonts/ fixed-width font size.

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
ProcVersionSignature: Ubuntu 2.6.35-25.44-generic 2.6.35.10
Uname: Linux 2.6.35-25-generic x86_64
NonfreeKernelModules: fglrx
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

Robert Bernecky (bernecky) wrote :
Robert Bernecky (bernecky) wrote :

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

Robert Bernecky (bernecky) wrote :

Attached is a screen shot from Open Office. In that, you can see that
the diamond character displays correctly at different sizes
(i.e., slightly larger than the iota and rho) when using Times New Roman,
but displays much smaller when using the fixed-width font.

From this example, I see that the problem does not really lie in
scaling (because the fixed-width font also scales, as we can
see when looking at 12pt and 40pt), BUT the character is being
rendered considerably smaller than it "should" be. I.e., it should
fill the line.

This comment from the creator of the APL385 font may shed some
light on the cause of the problem:

"Diamond is a BIT odd as it comes from the geometric shapes block,
not the maths area of the font. "

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers

Related questions