On Wed, 2024-07-03 at 15:31 -0400, e...@gmx.us wrote:
> On 7/3/24 15:20, Van Snyder wrote:
> > On Wed, 2024-07-03 at 18:38 +0200, Richard wrote:
> > > For anything further, you'll have to research yourself as
> > > ghostscript
> > > is very complex but used by many people.
> > 
> > Please stop using such a dinky font.
> 
> That's what ctrl-shift-+ is for.

Yeah, those of us who have been at this for a decade or two know that.
But it makes everything else so large that it doesn't fit anymore, even
at full screen, on my laptop.


Reply via email to