# HG changeset patch # User tz # Date 886540346 -3600 # Node ID 8df885a4b6929c07bcddad99e94b365683636060 # Parent 7c4482bf37cf9cfba7f14c4d0285f89e02421fd4 info bars redesigned diff -r 7c4482bf37cf -r 8df885a4b692 ImageEditor.st --- a/ImageEditor.st Tue Feb 03 20:01:55 1998 +0100 +++ b/ImageEditor.st Tue Feb 03 22:12:26 1998 +0100 @@ -283,11 +283,11 @@ #'window:' #(#WindowSpec #'name:' 'Image Editor' - #'layout:' #(#LayoutFrame 402 0 299 0 901 0 644 0) + #'layout:' #(#LayoutFrame 275 0 400 0 774 0 745 0) #'label:' 'Image Editor' #'min:' #(#Point 400 320) #'max:' #(#Point 1152 900) - #'bounds:' #(#Rectangle 402 299 902 645) + #'bounds:' #(#Rectangle 275 400 775 746) #'menu:' #menu #'usePreferredExtent:' false ) @@ -304,7 +304,7 @@ ) #(#VariableHorizontalPanelSpec #'name:' 'variableHorizontalPanel1' - #'layout:' #(#LayoutFrame 0 0.0 34 0.0 0 1.0 -22 1.0) + #'layout:' #(#LayoutFrame 0 0.0 34 0.0 0 1.0 -26 1.0) #'component:' #(#SpecCollection #'collection:' @@ -470,7 +470,7 @@ #'activeHelpKey:' #inputFieldOfClass #'model:' #valueOfResourceClass #'immediateAccept:' false - #'extent:' #(#Point 153 21) + #'extent:' #(#Point 155 21) ) #(#InputFieldSpec #'name:' 'resourceSelectorInputField' @@ -478,7 +478,7 @@ #'model:' #valueOfResourceSelector #'immediateAccept:' false #'acceptOnTab:' false - #'extent:' #(#Point 153 20) + #'extent:' #(#Point 155 20) ) #(#InputFieldSpec #'name:' 'fileNameInputField' @@ -486,7 +486,7 @@ #'model:' #valueOfFileName #'immediateAccept:' false #'acceptOnTab:' false - #'extent:' #(#Point 153 21) + #'extent:' #(#Point 155 21) ) ) ) @@ -525,12 +525,11 @@ ) ) ) - #'level:' 1 #'handles:' #(#Any 0.5 1.0) ) #(#UISubSpecification #'name:' 'infoBarSubSpec' - #'layout:' #(#LayoutFrame 0 0.0 -22 1 0 1.0 0 1.0) + #'layout:' #(#LayoutFrame 0 0.0 -24 1 0 1.0 0 1.0) #'majorKey:' #ToolApplicationModel #'minorKey:' #windowSpecForInfoBarWithClock )