TabItemEditor.st
changeset 534 25e349c437d2
parent 530 badaac1d45e7
child 541 5dc124df04e2
equal deleted inserted replaced
533:dde823aeca4c 534:25e349c437d2
   322                           )
   322                           )
   323                         )
   323                         )
   324                     )
   324                     )
   325                     #'handles:' #(#Any 0.259875 1.0)
   325                     #'handles:' #(#Any 0.259875 1.0)
   326                 )
   326                 )
   327                  #(#LabelSpec
   327                   #(#UISubSpecification
   328                     #'name:' 'infoLabel'
   328                     #'name:' 'infoBarSubSpec'
   329                     #'layout:' #(#LayoutFrame 0 0.0 -22 1 -80 1.0 0 1.0)
   329                     #'layout:' #(#LayoutFrame 0 0.0 -22 1 0 1.0 0 1.0)
   330                     #'labelChannel:' #valueOfInfoLabel
   330                     #'majorKey:' #ToolApplicationModel
   331                     #'level:' 1
   331                     #'minorKey:' #windowSpecForInfoBar
   332                     #'adjust:' #left
       
   333                 )
       
   334                  #(#LabelSpec
       
   335                     #'name:' 'timeLabel'
       
   336                     #'layout:' #(#LayoutFrame -80 1 -22 1 0 1.0 0 1.0)
       
   337                     #'labelChannel:' #valueOfTimeLabel
       
   338                     #'level:' 1
       
   339                     #'adjust:' #right
       
   340                 )
   332                 )
   341               )
   333               )
   342           )
   334           )
   343       )
   335       )
   344 ! !
   336 ! !