src/Tools/jEdit/src/jEdit.props
changeset 52777 fa71ab256f70
parent 52445 18a720984855
child 52807 b859a180936b
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Mon Jul 29 19:55:38 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Mon Jul 29 20:34:53 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.cancel-execution.label=Cancel execution
     1.8 -isabelle.cancel-execution.shortcut=C+e BACK_SPACE
     1.9 -isabelle.check-buffer.label=Commence full checking
    1.10 -isabelle.check-buffer.shortcut=C+e SPACE
    1.11 +isabelle.execution-range-none.label=Check nothing
    1.12 +isabelle.execution-range-none.shortcut=C+e BACK_SPACE
    1.13 +isabelle.execution-range-visible=Check visible parts of theories
    1.14 +isabelle.execution-range-visible.shortcut=C+e SPACE
    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