changeset 936 | f3db8359547a |
parent 931 | 059ac9cea31f |
child 943 | b9ba76358fbd |
--- a/MenuEditor.st Fri Jul 31 19:32:55 1998 +0200 +++ b/MenuEditor.st Fri Jul 31 19:37:50 1998 +0200 @@ -1268,7 +1268,7 @@ #label: 'Show Help Texts' #translateLabel: true #activeHelpKey: #helpShowHelp - #indication: #showHelp: + #indication: #showingHelp: ) ) nil nil @@ -1278,7 +1278,7 @@ nil ) - "Modified: / 20.5.1998 / 00:36:34 / cg" + "Modified: / 31.7.1998 / 18:19:47 / cg" ! menuAdd