changeset 3810 | d4f7c137ffc4 |
parent 3560 | 8e0d01180c6e |
--- 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' !