# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 886883128 -3600
# Node ID 8448535a33343243e8e18ab983703cb4c7821228
# Parent  26e7978936fc503949423c18c2e42b1cccde5db2
menu label change (grid & undo)

diff -r 26e7978936fc -r 8448535a3334 UIPainter.st
--- a/UIPainter.st	Sat Feb 07 21:23:24 1998 +0100
+++ b/UIPainter.st	Sat Feb 07 21:25:28 1998 +0100
@@ -870,14 +870,14 @@
                     
                      #(
                        #(#MenuItem
-                          #'label:' 'Undo Manager'
+                          #'label:' 'Undo Manager...'
                           #'value:' #openUndoMenu
                       )
                        #(#MenuItem
                           #'label:' '-'
                       )
                        #(#MenuItem
-                          #'label:' 'Grid Manager'
+                          #'label:' 'Grid Manager...'
                           #'value:' #gridMenu
                       )
                     ) nil