Ubuntu
libgnome package

  1. Bug #345189
  2. Comment #20

Comment 20 for bug 345189

Revision history for this message
Alexander Sack (asac) wrote : Re: Change to 13.333px is a regression for me - fonts far too large

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.