https://bugzilla.redhat.com/show_bug.cgi?id=1437999
--- Comment #32 from Bojan Smojver bojan@rexursive.com --- (In reply to Alexei Podtelezhnikov from comment #31)
Well, may I suggest you increase the size to 9 points if your desktop environment is so inflexible to let you choose 8.25 points? I am only partly facetious. I do not see anything wrong. Different yes, wrong no.
Tried that. Even tried strange stuff like 8.15 etc. However, because the geometry is different, the usable space on the desktop changes. Instead of being able to fit 9 terminal windows, I can only fit 6 now. Ergo, less usable for me. Also, mutter obviously places those things differently, so I have to fiddle with windows after I open them etc. Mildly annoying.
Look, in the end, I'm just pointing out what happened. If I need to change fonts I use for my terminals (again), I'll do it. Another several days of fiddling to find a usable combination.