# HG changeset patch # User Claus Gittinger # Date 1424778533 -3600 # Node ID 64aa6e5d90c0d8fdd20e213047864e3aa62f2724 # Parent ae97e9478128388c4702aaf425912491387d51a1 help menu layout and title (Menu_Help instead of Help) diff -r ae97e9478128 -r 64aa6e5d90c0 Tools__ObjectModuleInformation.st --- a/Tools__ObjectModuleInformation.st Sun Feb 22 13:31:40 2015 +0100 +++ b/Tools__ObjectModuleInformation.st Tue Feb 24 12:48:53 2015 +0100 @@ -343,9 +343,9 @@ ) ) (MenuItem - label: 'Help' + label: 'MENU_Help' + startGroup: conditionalRight translateLabel: true - startGroup: conditionalRight submenu: (Menu (