UIPainter.st
changeset 486 2a1024483349
parent 482 00acfc336304
child 490 c0e98d01e2d4
--- a/UIPainter.st	Tue Jan 27 14:45:59 1998 +0100
+++ b/UIPainter.st	Tue Jan 27 14:56:15 1998 +0100
@@ -467,11 +467,11 @@
           #'window:' 
            #(#WindowSpec
               #'name:' 'Tree-View'
-              #'layout:' #(#LayoutFrame 38 0 287 0 590 0 747 0)
+              #'layout:' #(#LayoutFrame 166 0 328 0 718 0 788 0)
               #'label:' 'Tree-View'
               #'min:' #(#Point 10 10)
               #'max:' #(#Point 1160 870)
-              #'bounds:' #(#Rectangle 38 287 591 748)
+              #'bounds:' #(#Rectangle 166 328 719 789)
               #'menu:' #menu
               #'usePreferredExtent:' false
           )
@@ -631,19 +631,11 @@
                     )
                     #'handles:' #(#Any 0.880597 1.0)
                 )
-                 #(#LabelSpec
-                    #'name:' 'infoLabel'
-                    #'layout:' #(#LayoutFrame 0 0.0 -22 1 -80 1.0 0 1.0)
-                    #'labelChannel:' #valueOfInfoLabel
-                    #'level:' 1
-                    #'adjust:' #left
-                )
-                 #(#LabelSpec
-                    #'name:' 'timeLabel'
-                    #'layout:' #(#LayoutFrame -80 1 -22 1 0 1.0 0 1.0)
-                    #'labelChannel:' #valueOfTimeLabel
-                    #'level:' 1
-                    #'adjust:' #right
+                 #(#UISubSpecification
+                    #'name:' 'infoBarSubSpec'
+                    #'layout:' #(#LayoutFrame 0 0.0 -22 1 0 1.0 0 1.0)
+                    #'majorKey:' #ToolApplicationModel
+                    #'minorKey:' #windowSpecForInfoBar
                 )
               )
           )