I never saw a font chooser without it.
System->Settings->Appearance->Fonts
It's not "tiny-tiny-tiny", it's just a different size like 11 or 5.
Those 0.5 steps make a big difference.
Especially on different displays with different, maybe faulty dpi-values (remember that Gnome just takes 96 dpi ignoring any real dpi info X provides?) it is extremely necessary to be able to reproduce font sizes.
On my display all my default fonts are 8.5 or 9.5, because I like them _exactly_ that size.
It's not "Why would anyone need this?", it's "Why wasn't it there since day 1?".
Ignoring half of the fonts sizes is just annoying and unnecessary restrictive.
I never saw a font chooser without it. >Settings- >Appearance- >Fonts
System-
It's not "tiny-tiny-tiny", it's just a different size like 11 or 5.
Those 0.5 steps make a big difference.
Especially on different displays with different, maybe faulty dpi-values (remember that Gnome just takes 96 dpi ignoring any real dpi info X provides?) it is extremely necessary to be able to reproduce font sizes.
On my display all my default fonts are 8.5 or 9.5, because I like them _exactly_ that size.
It's not "Why would anyone need this?", it's "Why wasn't it there since day 1?".
Ignoring half of the fonts sizes is just annoying and unnecessary restrictive.