author | Claus Gittinger <cg@exept.de> |
Fri, 01 Nov 2019 05:50:02 +0100 | |
changeset 3810 | d4f7c137ffc4 |
parent 3809 | 4f210d7fe0cb |
child 3811 | 1c02ea1990b5 |
UIHelpTool.st | file | annotate | diff | comparison | revisions |
--- 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' !