# HG changeset patch # User tz # Date 888418464 -3600 # Node ID 6a21e13bb2db7504f72824752e42baa069ad2529 # Parent 25a770a729fc78272e7cd800758fa9e29274b149 show color map at the top diff -r 25a770a729fc -r 6a21e13bb2db ImageEditor.st --- a/ImageEditor.st Tue Feb 24 21:28:25 1998 +0100 +++ b/ImageEditor.st Wed Feb 25 15:54:24 1998 +0100 @@ -265,11 +265,11 @@ #window: #(#WindowSpec #name: 'Image Editor' - #layout: #(#LayoutFrame 197 0 172 0 696 0 517 0) + #layout: #(#LayoutFrame 273 0 357 0 772 0 702 0) #label: 'Image Editor' #min: #(#Point 400 320) #max: #(#Point 1152 900) - #bounds: #(#Rectangle 197 172 697 518) + #bounds: #(#Rectangle 273 357 773 703) #menu: #menu #usePreferredExtent: false ) @@ -304,16 +304,6 @@ #(#SpecCollection #collection: #( - #(#ArbitraryComponentSpec - #name: 'imagePreView' - #activeHelpKey: #previewView - #hasHorizontalScrollBar: true - #hasVerticalScrollBar: true - #miniScrollerHorizontal: true - #miniScrollerVertical: true - #component: #ImageView - #hasBorder: true - ) #(#DataSetSpec #name: 'colorDataSetView' #activeHelpKey: #colorMapTable @@ -350,9 +340,19 @@ ) ) ) + #(#ArbitraryComponentSpec + #name: 'imagePreView' + #activeHelpKey: #previewView + #hasHorizontalScrollBar: true + #hasVerticalScrollBar: true + #miniScrollerHorizontal: true + #miniScrollerVertical: true + #component: #ImageView + #hasBorder: true + ) ) ) - #handles: #(#Any 0.285211 1.0) + #handles: #(#Any 0.601399 1.0) ) ) ) @@ -412,7 +412,7 @@ ) ) ) - #handles: #(#Any 0.286 1.0) + #handles: #(#Any 0.276 1.0) ) #(#UISubSpecification #name: 'infoBarSubSpec'