Stream: Mirror: Isabelle Users Mailing List

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


view this post on Zulip Email Gateway (Feb 16 2021 at 07:18):

From: Peter Koepke <koepke@math.uni-bonn.de>
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?

Thanks, Peter

view this post on Zulip Email Gateway (Feb 16 2021 at 09:56):

From: Makarius <makarius@sketis.net>
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


Last updated: Sep 25 2021 at 08:21 UTC