# HG changeset patch
# User wenzelm
# Date 1354398174 -3600
# Node ID 08b55c5ce06484c5a3c4107037c4c216caf50fc8
# Parent  6f64ce2e5a40a5092dd7fba3a4525f6aa2606303
moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;

diff -r 6f64ce2e5a40 -r 08b55c5ce064 src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Sat Dec 01 22:23:42 2012 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Sat Dec 01 22:42:54 2012 +0100
@@ -26,23 +26,6 @@
 options.isabelle-rendering.label=Rendering
 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
 
-#actions
-isabelle.check-buffer.shortcut=C+e SPACE
-isabelle.cancel-execution.shortcut=C+e BACK_SPACE
-isabelle.increase-font-size.label=Increase font size
-isabelle.increase-font-size.shortcut=C+PLUS
-isabelle.increase-font-size.shortcut2=C+EQUALS
-isabelle.decrease-font-size.label=Decrease font size
-isabelle.decrease-font-size.shortcut=C+MINUS
-isabelle.control-isub.label=Control subscript
-isabelle.control-isub.shortcut=C+e DOWN
-isabelle.control-isup.label=Control superscript
-isabelle.control-isup.shortcut=C+e UP
-isabelle.control-bold.label=Control bold
-isabelle.control-bold.shortcut=C+e RIGHT
-isabelle.control-reset.label=Control reset
-isabelle.control-reset.shortcut=C+e LEFT
-
 #menu actions
 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
 plugin.isabelle.jedit.Plugin.menu=isabelle.theories-panel isabelle.output-panel isabelle.graphview-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.symbols-panel isabelle.syslog-panel
diff -r 6f64ce2e5a40 -r 08b55c5ce064 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Sat Dec 01 22:23:42 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sat Dec 01 22:42:54 2012 +0100
@@ -183,6 +183,21 @@
 isabelle-readme.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=bottom
+isabelle.cancel-execution.shortcut=C+e BACK_SPACE
+isabelle.check-buffer.shortcut=C+e SPACE
+isabelle.control-bold.label=Control bold
+isabelle.control-bold.shortcut=C+e RIGHT
+isabelle.control-isub.label=Control subscript
+isabelle.control-isub.shortcut=C+e DOWN
+isabelle.control-isup.label=Control superscript
+isabelle.control-isup.shortcut=C+e UP
+isabelle.control-reset.label=Control reset
+isabelle.control-reset.shortcut=C+e LEFT
+isabelle.decrease-font-size.label=Decrease font size
+isabelle.decrease-font-size.shortcut=C+MINUS
+isabelle.increase-font-size.label=Increase font size
+isabelle.increase-font-size.shortcut2=C+EQUALS
+isabelle.increase-font-size.shortcut=C+PLUS
 lang.usedefaultlocale=false
 largefilemode=full
 line-end.shortcut=END