#OTHER by exept
authorClaus Gittinger <cg@exept.de>
Fri, 01 Nov 2019 05:50:02 +0100
changeset 3810 d4f7c137ffc4
parent 3809 4f210d7fe0cb
child 3811 1c02ea1990b5
#OTHER by exept comment/format in: #openDocumentation
UIHelpTool.st
--- a/UIHelpTool.st	Fri Nov 01 05:49:50 2019 +0100
+++ b/UIHelpTool.st	Fri Nov 01 05:50:02 2019 +0100
@@ -1247,8 +1247,9 @@
 !
 
 openDocumentation
-    "opens the documentation file of the Help Tool
-    "
+    "opens the documentation file of the Help Tool"
+    "Called when <F1> is pressed"
+
     self openHTMLDocument: 'tools/uipainter/HelpTool.html'
 !