src/Tools/jEdit/src/jEdit.props
changeset 50354 4a955d23c79b
parent 50318 6be9e490d82a
child 50492 8d8e882c7fbe
equal deleted inserted replaced
50353:4258aeca13a0 50354:4a955d23c79b
   181 isabelle-output.height=174
   181 isabelle-output.height=174
   182 isabelle-output.width=412
   182 isabelle-output.width=412
   183 isabelle-readme.dock-position=bottom
   183 isabelle-readme.dock-position=bottom
   184 isabelle-symbols.dock-position=bottom
   184 isabelle-symbols.dock-position=bottom
   185 isabelle-theories.dock-position=bottom
   185 isabelle-theories.dock-position=bottom
       
   186 isabelle.cancel-execution.label=Cancel execution
   186 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
   187 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
       
   188 isabelle.check-buffer.label=Commence full checking
   187 isabelle.check-buffer.shortcut=C+e SPACE
   189 isabelle.check-buffer.shortcut=C+e SPACE
   188 isabelle.control-bold.label=Control bold
   190 isabelle.control-bold.label=Control bold
   189 isabelle.control-bold.shortcut=C+e RIGHT
   191 isabelle.control-bold.shortcut=C+e RIGHT
   190 isabelle.control-isub.label=Control subscript
   192 isabelle.control-isub.label=Control subscript
   191 isabelle.control-isub.shortcut=C+e DOWN
   193 isabelle.control-isub.shortcut=C+e DOWN