UIPainter.st
changeset 1790 51711e3c7046
parent 1782 8108839cc262
child 1800 7e9ce7f9d6b8
--- a/UIPainter.st	Fri Feb 13 12:27:56 2004 +0100
+++ b/UIPainter.st	Fri Feb 13 12:34:50 2004 +0100
@@ -853,7 +853,7 @@
           label: 'GUI Painter'
           name: 'GUI Painter'
           min: (Point 560 460)
-          bounds: (Rectangle 16 46 624 569)
+          bounds: (Rectangle 12 22 620 545)
           menu: menu
         )
         component: 
@@ -905,6 +905,7 @@
                           tabable: true
                           model: tabModel
                           menu: tabList
+                          translateLabel: true
                           canvas: noteBookView
                         )
                        (HorizontalPanelViewSpec