--- a/UIHelpTool.st Tue Jul 21 19:14:32 1998 +0200
+++ b/UIHelpTool.st Wed Jul 22 13:10:59 1998 +0200
@@ -372,16 +372,16 @@
<resource: #menu>
^
-
+
#(#Menu
-
+
#(
#(#MenuItem
#label: 'File'
#translateLabel: true
#submenu:
#(#Menu
-
+
#(
#(#MenuItem
#label: 'Load...'
@@ -416,7 +416,7 @@
#translateLabel: true
#submenu:
#(#Menu
-
+
#(
#(#MenuItem
#label: 'Add'
@@ -439,37 +439,15 @@
)
#(#MenuItem
#label: 'Help'
+ #translateLabel: true
#startGroup: #right
- #translateLabel: true
- #submenu:
- #(#Menu
-
- #(
- #(#MenuItem
- #label: 'Documentation'
- #value: #openHTMLDocument:
- #translateLabel: true
- #activeHelpKey: #helpHelpTool
- #argument: 'tools/uipainter/HelpTool.html'
- )
- #(#MenuItem
- #label: '-'
- )
- #(#MenuItem
- #label: 'Show Help Texts'
- #translateLabel: true
- #activeHelpKey: #helpShowHelp
- #indication: #showHelp:
- )
- ) nil
- nil
- )
+ #activeHelpKey: #help
+ #submenuChannel: #menuHelp
)
) nil
nil
)
- "Modified: / 20.5.1998 / 01:08:12 / cg"
! !
!UIHelpTool methodsFor:'accessing'!
@@ -712,6 +690,12 @@
+!
+
+openDocumentation
+ "opens the documentation file of the Help Tool"
+
+ self openHTMLDocument: 'tools/uipainter/HelpTool.html'
! !
!UIHelpTool methodsFor:'private'!