src/Tools/jEdit/src/jEdit.props
changeset 66036 b6396880b644
parent 63760 b1088b1e3b7e
child 67132 336831647779
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Wed Jun 07 23:23:48 2017 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Thu Jun 08 12:25:59 2017 +0200
     1.3 @@ -226,6 +226,7 @@
     1.4  isabelle.newline.label=Newline with indentation of Isabelle keywords
     1.5  isabelle.newline.shortcut=ENTER
     1.6  isabelle.options.label=Isabelle options
     1.7 +isabelle.preview.label=HTML preview of PIDE document
     1.8  isabelle.reset-continuous-checking.label=Reset continuous checking
     1.9  isabelle.reset-font-size.label=Reset font size
    1.10  isabelle.reset-node-required.label=Reset node required