# HG changeset patch
# User wenzelm
# Date 1375122893 -7200
# Node ID fa71ab256f706968ab63ece13c6259cfbf4fe988
# Parent  fd81d51460b7f79c01cdfd800927b1b8e2c61628
updated key bindings to execution range;

diff -r fd81d51460b7 -r fa71ab256f70 src/Tools/jEdit/src/actions.xml
--- a/src/Tools/jEdit/src/actions.xml	Mon Jul 29 19:55:38 2013 +0200
+++ b/src/Tools/jEdit/src/actions.xml	Mon Jul 29 20:34:53 2013 +0200
@@ -52,14 +52,14 @@
 			wm.addDockableWindow("isabelle-symbols");
 		</CODE>
 	</ACTION>
-	<ACTION NAME="isabelle.check-buffer">
+	<ACTION NAME="isabelle.execution-range-none">
 	  <CODE>
-	    isabelle.jedit.PIDE.check_buffer(buffer);
+	    isabelle.jedit.PIDE.execution_range_none();
 	  </CODE>
 	</ACTION>
-	<ACTION NAME="isabelle.cancel-execution">
+	<ACTION NAME="isabelle.execution-range-visible">
 	  <CODE>
-	    isabelle.jedit.PIDE.cancel_execution();
+	    isabelle.jedit.PIDE.execution_range_visible();
 	  </CODE>
 	</ACTION>
 	<ACTION NAME="isabelle.increase-font-size">
diff -r fd81d51460b7 -r fa71ab256f70 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Mon Jul 29 19:55:38 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Mon Jul 29 20:34:53 2013 +0200
@@ -185,10 +185,10 @@
 isabelle-readme.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
-isabelle.cancel-execution.label=Cancel execution
-isabelle.cancel-execution.shortcut=C+e BACK_SPACE
-isabelle.check-buffer.label=Commence full checking
-isabelle.check-buffer.shortcut=C+e SPACE
+isabelle.execution-range-none.label=Check nothing
+isabelle.execution-range-none.shortcut=C+e BACK_SPACE
+isabelle.execution-range-visible=Check visible parts of theories
+isabelle.execution-range-visible.shortcut=C+e SPACE
 isabelle.control-bold.label=Control bold
 isabelle.control-bold.shortcut=C+e RIGHT
 isabelle.control-isub.label=Control subscript
diff -r fd81d51460b7 -r fa71ab256f70 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Mon Jul 29 19:55:38 2013 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Mon Jul 29 20:34:53 2013 +0200
@@ -154,6 +154,9 @@
       )
     }
   }
+
+  def execution_range_none(): Unit = update_execution_range(Execution_Range.NONE)
+  def execution_range_visible(): Unit = update_execution_range(Execution_Range.VISIBLE)
 }