Le Mer 24 octobre 2007 16:27, Matthew Saltzman a écrit : > On Wed, 2007-10-24 at 09:22 +0200, Christoph Höger wrote: >> Please don't misunderstand me, I did not mean "too hard to do ist >> for >> "normal users". I just meant that it is not comfortable to change >> each >> font one by one if the target is to "just get the desktop fonts >> smaller >> (and keep the current ratio)", not that it should not be possible to >> change each font size individually. > > Ah, OK. I apologize for speaking sharply. > > But still, small/normal or small/medium/large is too limiting. I > still > want the range of point sizes (and I want them to mean real points!). > I > usually do set all my fonts to one size, but I would still advocate an > advanced setting that allows hard-core customizers to change sizes for > individual fonts if they want. If you want your opinion to be heard by GNOME developers, you have to comment on aforementioned GNOME bug If you want to discuss font or text rendering choices in Fedora, please use the fonts list Regards, -- Nicolas Mailhot -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
