On Thu, 17 Jan 2002, John Levon wrote: [...] > > Perhaps you could rename this option to "Rescale bitmap fonts". Or inverse > > I agree. Who else does ?
Pick me. So long as it only affects bitmap fonts -- do scalable fonts come in fixed sizes? Or do we handle scalable fonts any differently with this option? Allan. (ARRae)
