--- a/Tools__BreakpointBrowser.st	Fri Nov 01 05:49:47 2019 +0100
+++ b/Tools__BreakpointBrowser.st	Fri Nov 01 05:49:53 2019 +0100
@@ -1719,6 +1719,8 @@
 !
 
 openDocumentation
+    "Called when <F1> is pressed"
+
     HTMLDocumentView openFullOnDocumentationFile:'tools/misc/TOP.html#BREAKPOINTLIST'.
 !