>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> As it's written it's perfectly correct: if it's on then bitmap John> fonts can get scaled. If it's not, they won't. If it is on then you can get the urw type 1 font for times, if it is off you can't. Can you see the difference? John> I think it's pretty good now, we only have limited space to John> explain what it does in the GUI. John> if you have better, please commit it ;) I think that at least what we had before was right. Or maybe we could just use 'scale fonts'. Or, as netscape does for exactly the same capability, 'allow scaling'. JMarc