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