# HG changeset patch # User tz # Date 886169056 -3600 # Node ID 25e349c437d21f06e754d8b386c69d3d11bb541a # Parent dde823aeca4c59f025e3d9893978109f698f266c info clock removed 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 ) ) )