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