src/Tools/jEdit/src/jEdit.props
changeset 50308 08b55c5ce064
parent 50306 b655d2d0406d
child 50318 6be9e490d82a
equal deleted inserted replaced
50307:6f64ce2e5a40 50308:08b55c5ce064
   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.shortcut=C+e BACK_SPACE
       
   187 isabelle.check-buffer.shortcut=C+e SPACE
       
   188 isabelle.control-bold.label=Control bold
       
   189 isabelle.control-bold.shortcut=C+e RIGHT
       
   190 isabelle.control-isub.label=Control subscript
       
   191 isabelle.control-isub.shortcut=C+e DOWN
       
   192 isabelle.control-isup.label=Control superscript
       
   193 isabelle.control-isup.shortcut=C+e UP
       
   194 isabelle.control-reset.label=Control reset
       
   195 isabelle.control-reset.shortcut=C+e LEFT
       
   196 isabelle.decrease-font-size.label=Decrease font size
       
   197 isabelle.decrease-font-size.shortcut=C+MINUS
       
   198 isabelle.increase-font-size.label=Increase font size
       
   199 isabelle.increase-font-size.shortcut2=C+EQUALS
       
   200 isabelle.increase-font-size.shortcut=C+PLUS
   186 lang.usedefaultlocale=false
   201 lang.usedefaultlocale=false
   187 largefilemode=full
   202 largefilemode=full
   188 line-end.shortcut=END
   203 line-end.shortcut=END
   189 line-home.shortcut=HOME
   204 line-home.shortcut=HOME
   190 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
   205 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel