src/Tools/jEdit/src/actions.xml

--- a/src/Tools/jEdit/src/actions.xml	Mon Aug 10 16:14:50 2015 +0200
+++ b/src/Tools/jEdit/src/actions.xml	Mon Aug 10 17:49:36 2015 +0200
@@ -122,6 +122,11 @@
 	    isabelle.jedit.Isabelle.reset_dictionary();
 	  </CODE>
 	</ACTION>
+	<ACTION NAME="isabelle.toggle-breakpoint">
+	  <CODE>
+	    isabelle.jedit.Isabelle.toggle_breakpoint(textArea);
+	  </CODE>
+	</ACTION>
 	<ACTION NAME="isabelle.options">
 	  <CODE>
 	    isabelle.jedit.Isabelle.plugin_options(view);