[isabelle-dev] Printing from Isabelle/jedit

Makarius makarius at sketis.net
Fri May 31 17:33:56 CEST 2019


On 31/05/2019 14:26, Tobias Nipkow wrote:
> In 8dd987397e31, when I try to print (Cmd-P) I get
> 
> "An error occurred while trying to print: Invalid print service"

Over the years, I have occasionally seen such an error, but only rarely.
I don't see it now.


> It turns out that something is printed after all, but the first column
> is missing.

Maybe it is just a matter of Page Setup / Paper size. The default
appears to be Letter: switching it to A4 works for me and that becomes
persistent (I don't know where this information is stored).


	Makarius


More information about the isabelle-dev mailing list