--- a/EventMonitor.st	Fri Nov 01 05:52:26 2019 +0100
+++ b/EventMonitor.st	Fri Nov 01 05:52:38 2019 +0100
@@ -304,6 +304,8 @@
 !
 
 openDocumentation
+    "Called when <F1> is pressed"
+
     HTMLDocumentView openFullOnDocumentationFile:'tools/misc/TOP.html#EVENTMONITOR'.
 !