[isabelle-dev] Printing from Isabelle/jedit
nipkow at in.tum.de
Fri May 31 19:48:06 CEST 2019
On 31/05/2019 19:34, Makarius wrote:
> On 31/05/2019 17:33, Makarius wrote:
>> 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.
> For the record: I have tested this with a local USB printer on
> * macOS 10.13.6 High Sierra
> * macOS 10.14.5 Mojave
> * Ubuntu 18.04.2
> It works fine, after making sure that the paper format is A4.
I don't understand. Where do I "make sure"?
> Ultimately this is a function of Java and jEdit interacting with the
> printer sub-system of the OS. This has always been a bit fragile.
> An alternative that bypasses all this is the Isabelle/jEdit action
> isabelle.preview or isabelle.draft (available in the menu Plugins /
> Isabelle as items "Show ... in browser").
> The browser can then be used for printing. I have just tried it and
> found other problems with macOS firing up Firefox properly, but after 3
> attempts it did work.
This alternative works for me, thanks.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev