src/Tools/jEdit/src/jEdit.props
changeset 52807 b859a180936b
parent 52777 fa71ab256f70
child 52815 eaad5fe7bb1b
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Jul 30 23:17:26 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Wed Jul 31 10:54:37 2013 +0200
     1.3 @@ -185,10 +185,10 @@
     1.4  isabelle-readme.dock-position=bottom
     1.5  isabelle-symbols.dock-position=bottom
     1.6  isabelle-theories.dock-position=right
     1.7 -isabelle.execution-range-none.label=Check nothing
     1.8 -isabelle.execution-range-none.shortcut=C+e BACK_SPACE
     1.9 -isabelle.execution-range-visible=Check visible parts of theories
    1.10 -isabelle.execution-range-visible.shortcut=C+e SPACE
    1.11 +isabelle.set-continuous-checking.label=Enable continuous checking
    1.12 +isabelle.reset-continuous-checking.label=Disable continuous checking
    1.13 +isabelle.toggle-continuous-checking.label=Toggle continuous checking
    1.14 +isabelle.toggle-continuous-checking.shortcut=C+e ENTER
    1.15  isabelle.control-bold.label=Control bold
    1.16  isabelle.control-bold.shortcut=C+e RIGHT
    1.17  isabelle.control-isub.label=Control subscript