--- a/Tools__BreakpointService.st	Fri Aug 30 10:57:30 2019 +0200
+++ b/Tools__BreakpointService.st	Fri Aug 30 11:08:12 2019 +0200
@@ -752,6 +752,12 @@
 
 hasBreakpoints
     ^ breakpoints notEmptyOrNil
+!
+
+singleClickToToggle
+    "/ not yet working correctly: must ignore double clicks then,
+    "/ but only some...
+    ^ false
 ! !
 
 !BreakpointService methodsFor:'redrawing'!