equal
deleted
inserted
replaced
2063 ] |
2063 ] |
2064 ! |
2064 ! |
2065 |
2065 |
2066 openDocumentation |
2066 openDocumentation |
2067 "This method was generated by the Browser. |
2067 "This method was generated by the Browser. |
2068 It will be invoked when the menu-item 'help-documentation' is selected." |
2068 It will be invoked when the menu-item 'help-documentation' is selected. |
|
2069 Also called when <F1> is pressed" |
2069 |
2070 |
2070 "/ change below as required ... |
2071 "/ change below as required ... |
2071 |
2072 |
2072 "/ to open an HTML viewer on some document (under 'doc/online/<language>/' ): |
2073 "/ to open an HTML viewer on some document (under 'doc/online/<language>/' ): |
2073 HTMLDocumentView openFullOnDocumentationFile:'tools/languageEditor/TOP.html'. |
2074 HTMLDocumentView openFullOnDocumentationFile:'tools/languageEditor/TOP.html'. |