diff -r 63203d996e61 -r b40cce7f3748 UIHelpTool.st
--- 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'!