#OTHER by exept draft
authorClaus Gittinger <cg@exept.de>
Fri, 01 Nov 2019 05:48:42 +0100
changeset 3805 fff73fd2a61a
parent 3804 2355596aec0a
child 3806 17b4f413d051
#OTHER by exept comment/format in: #openDocumentation
Tools__InternationalLanguageTranslationEditor.st
--- 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 ...