author | Claus Gittinger <cg@exept.de> |
Fri, 01 Nov 2019 05:48:42 +0100 | |
changeset 3805 | fff73fd2a61a |
parent 3804 | 2355596aec0a |
child 3806 | 17b4f413d051 |
--- a/Tools__InternationalLanguageTranslationEditor.st Thu Oct 31 19:23:36 2019 +0100 +++ b/Tools__InternationalLanguageTranslationEditor.st Fri Nov 01 05:48:42 2019 +0100 @@ -2065,7 +2065,8 @@ openDocumentation "This method was generated by the Browser. - It will be invoked when the menu-item 'help-documentation' is selected." + It will be invoked when the menu-item 'help-documentation' is selected. + Also called when <F1> is pressed" "/ change below as required ...