name of the mouse button color tool bar changed
authortz
Fri, 13 Mar 1998 23:33:15 +0100
changeset 732 9320f2f0ae6e
parent 731 cd36a0c9ba62
child 733 6454aaabda51
name of the mouse button color tool bar changed
ImageEditor.st
--- a/ImageEditor.st	Fri Mar 13 22:33:35 1998 +0100
+++ b/ImageEditor.st	Fri Mar 13 23:33:15 1998 +0100
@@ -317,7 +317,7 @@
                                                       #collection: 
                                                        #(
                                                          #(#MenuPanelSpec
-                                                            #name: 'MenuPanel1'
+                                                            #name: 'MouseButtonColorToolBar'
                                                             #layout: #(#LayoutFrame 0 0.0 0 0 0 1.0 24 0)
                                                             #menu: #menuMouseButtonColors
                                                         )