Ubuntu
gnome-terminal package

  1. Bug #814796
  2. Comment #2

Comment 2 for bug 814796

Revision history for this message
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