Andre Poenitz <[EMAIL PROTECTED]> writes: > On Mon, Jul 08, 2002 at 09:45:51AM +0200, Herbert Voss wrote: > > Here is a patch to enable the user to get the right > > font size for the previews. > > And we can't determine that factor from other settings?
Default screen font design size, default document font design size (as per preamble used for generating the preview), screen resolution. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum Email: [EMAIL PROTECTED]
