note: the "px" is the important part here. that wasnt honoured by gnome- terminal causing an artificial size boost (e.g. similar to what happens if you just use "13.3333" without px.
-- Change to 13.333px is a regression for me - fonts far too large https://bugs.launchpad.net/bugs/345189 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs