src/Tools/jEdit/src/actions.xml
changeset 66019 69b5ef78fb07
parent 63748 ebcc70c120a9
child 67132 336831647779
     1.1 --- a/src/Tools/jEdit/src/actions.xml	Mon Jun 05 23:13:08 2017 +0200
     1.2 +++ b/src/Tools/jEdit/src/actions.xml	Mon Jun 05 23:55:58 2017 +0200
     1.3 @@ -152,6 +152,11 @@
     1.4  	    isabelle.jedit.Isabelle.plugin_options(view);
     1.5  	  </CODE>
     1.6  	</ACTION>
     1.7 +	<ACTION NAME="isabelle.preview">
     1.8 +	  <CODE>
     1.9 +	    isabelle.jedit.Document_Model.open_preview(view);
    1.10 +	  </CODE>
    1.11 +	</ACTION>
    1.12  	<ACTION NAME="isabelle.keymap-merge">
    1.13  	  <CODE>
    1.14  	    isabelle.jedit.Keymap_Merge.check_dialog(view);