--- a/src/Tools/jEdit/src/jEdit.props Mon Aug 10 16:14:50 2015 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Mon Aug 10 17:49:36 2015 +0200
@@ -226,6 +226,7 @@
isabelle.reset-words.label=Reset non-permanent words
isabelle.set-continuous-checking.label=Set continuous checking
isabelle.set-node-required.label=Set node required
+isabelle.toggle-breakpoint.label=Toggle Breakpoint
isabelle.toggle-continuous-checking.label=Toggle continuous checking
isabelle.toggle-continuous-checking.shortcut=C+e ENTER
isabelle.toggle-node-required.label=Toggle node required