On Sat, Nov 27, 2010 at 02:26:44PM +0100, Jürgen Spitzmüller wrote: > Enrico Forestieri wrote: > > > Guenter Milde wrote: > > > > Regarding the naming: it is IMO best to call the button "use System > > > > fonts". > > > > > > > > > > > > I won't touch the naming anymore. > > > > I agree with Günter. Please reconsider. > > Well, my initial proposal was "Use System Fonts". Then people objected (also > Günter and you), and after a long discussion, we ended up with the text font > thing.
I think the only one that objected to "Use System Fonts" was JMarc. I was objecting as regards using LaTeXFonts vs TeXFonts, and Günter was rather proposing UnicodeFonts instead of (La)TeXFonts. > Sorry, I'm fed up with this. I understand and will shut up from now on. -- Enrico
