diff -r dde823aeca4c -r 25e349c437d2 TabItemEditor.st --- 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 ) ) )