--- 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'. !