Re: [isabelle] Open pdf files from Isabelle File Browser




On 16.02.21 08:17, Peter Koepke wrote:
> One can open pdf files from theory files by CONTROL-mouse-click (Linux,
> Windows), which does not work from the Isabelle File Browser. Is there
> another key combination for this?

The File Browser is from the jEdit text editor and not under control of
Isabelle. It has a right-click menu where you can say "Open in Desktop":
normally this has the desired effect to show the PDF.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.