--- a/MenuEditor.st Tue Jan 27 14:36:44 1998 +0100
+++ b/MenuEditor.st Tue Jan 27 14:45:59 1998 +0100
@@ -579,11 +579,11 @@
#'window:'
#(#WindowSpec
#'name:' 'Menu Builder'
- #'layout:' #(#LayoutFrame 414 0 21 0 993 0 404 0)
+ #'layout:' #(#LayoutFrame 221 0 394 0 800 0 777 0)
#'label:' 'Menu Builder'
#'min:' #(#Point 10 10)
#'max:' #(#Point 1152 900)
- #'bounds:' #(#Rectangle 414 21 994 405)
+ #'bounds:' #(#Rectangle 221 394 801 778)
#'menu:' #menu
#'usePreferredExtent:' false
)
@@ -642,19 +642,11 @@
#'level:' 1
#'handles:' #(#Any 0.384483 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
)
)
)