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. Sorry, I'm fed up with this. Jürgen
