changeset 3805 | fff73fd2a61a |
parent 3764 | e140f846dccf |
child 3826 | bd1cae72d73d |
--- 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 ...