--- a/UILayoutTool.st	Fri Feb 13 12:27:56 2004 +0100
+++ b/UILayoutTool.st	Fri Feb 13 12:34:50 2004 +0100
@@ -461,7 +461,7 @@
           label: 'UILayoutTool'
           name: 'UILayoutTool'
           min: (Point 10 10)
-          bounds: (Rectangle 14 46 356 345)
+          bounds: (Rectangle 12 22 354 321)
         )
         component: 
        (SpecCollection
@@ -475,6 +475,7 @@
               model: noteBookModel
               menu: noteBookList
               direction: bottom
+              translateLabel: true
               canvas: layoutCanvasHolder
               tabTopMargin: 0
               tabBottomMargin: 0

--- 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