On Fri, May 01, 2020 at 07:39:53PM -0700, Marc MERLIN wrote: > Here is a picture: > http://marc.merlins.org/tmp/3terms.jpg > top is gnome-terminal in size 7 > middle is ghome-terminal in size 8 but with CTRL - aka goldylocks > bottom is terminology size 11, correct width but not high enough > > Any idea what I can do to get terminology (or gnome-terminal) to shrink > a font in width only if the height/width combined changes don't work > like I need to?
Keith gave me the magic answer: font sizes can be fractional. In gnome-terminal, I can set the size by entering it manually to 7.9, and get what I needed. Terminology does not seem to allow fractional values though, but that's ok gnome-terminal works for what I need. Marc -- "A mouse is a device used to point at the xterm you want to type in" - A.S.R. Home page: http://marc.merlins.org/ | PGP 7F55D5F27AAF9D08 _______________________________________________ enlightenment-users mailing list enlightenment-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/enlightenment-users
