--- a/TabItemEditor.st Fri Jan 30 14:58:10 1998 +0100
+++ b/TabItemEditor.st Fri Jan 30 15:04:16 1998 +0100
@@ -324,19 +324,11 @@
)
#'handles:' #(#Any 0.259875 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
)
)
)