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
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
--
You received this bug notification because you are a member of
** Attachment added: "Screen shot of xterm and gnome-terminal w/same text"
https://bugs.launchpad.net/bugs/814796/+attachment/2226545/+files/xtermgnome.png
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/
