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. " ** Attachment added: "font scaling problem in Open Office" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/814796/+attachment/2226572/+files/openoffice.png -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/814796 Title: Character does not scale properly as font size changes To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/814796/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs