--- Comment #37 from Alexei Podtelezhnikov apodtele@gmail.com ---
The unrounded height is 12.47 pixels for 8.25 pt and 12.09 pixels for 8 pt.
gnome-terminal likely relies on something else.
--
You are receiving this mail because:
You are on the CC list for the bug.