src/Tools/jEdit/src/actions.xml

--- a/src/Tools/jEdit/src/actions.xml	Mon Jun 05 23:13:08 2017 +0200
+++ b/src/Tools/jEdit/src/actions.xml	Mon Jun 05 23:55:58 2017 +0200
@@ -152,6 +152,11 @@
 	    isabelle.jedit.Isabelle.plugin_options(view);
 	  </CODE>
 	</ACTION>
+	<ACTION NAME="isabelle.preview">
+	  <CODE>
+	    isabelle.jedit.Document_Model.open_preview(view);
+	  </CODE>
+	</ACTION>
 	<ACTION NAME="isabelle.keymap-merge">
 	  <CODE>
 	    isabelle.jedit.Keymap_Merge.check_dialog(view);