changeset 19248 | 525d8b42574e |
parent 19216 | fd6f6d647048 |
child 19391 | e0e0f6428e4d |
--- a/WorkspaceApplication.st Fri Nov 01 05:49:53 2019 +0100 +++ b/WorkspaceApplication.st Fri Nov 01 05:52:26 2019 +0100 @@ -1,3 +1,5 @@ +"{ Encoding: utf8 }" + " COPYRIGHT (c) 2001 by eXept Software AG All Rights Reserved @@ -3157,6 +3159,7 @@ openDocumentation "opens the documentation file" + "Called when <F1> is pressed" self openHTMLDocument: 'tools/misc/TOP.html#WORKSPACE' !