Re: New PostScript sizing options

[Petr M. <mi...@ph...>]

> We need some mechanism to specify a resolution other
> than 72dpi for pixel-based terminals.

Bitmap terminals would need yet another option "resolution" for specifying 
the dpi value.

> With this in place, there should never be a need for
> specifying size > 1 to postscript terminals.

OK with me.

---
PM