UILayoutTool.st
changeset 1074 49ef9991d1d5
parent 1072 84ae04e0af72
child 1077 46793bf50415
--- a/UILayoutTool.st	Sat Mar 20 17:46:22 1999 +0100
+++ b/UILayoutTool.st	Mon Mar 22 13:16:27 1999 +0100
@@ -489,6 +489,8 @@
     layoutView := aView.
     layoutSpec := aSpec.
 
+    (self aspectFor:#defaultExtentEnabled) value:(aSpec class ==  WindowSpec) not.
+
     aTypeOrNil notNil ifTrue:[
         self class slices findFirst:[:e|
             e last == aTypeOrNil ifTrue:[name := e first. true]
@@ -714,6 +716,7 @@
         rightFraction           rightOffset
         leftAlignmentFraction   topAlignmentFraction
         useDefaultExtent
+        defaultExtentEnabled
     )
 
     do:[:aKey||holder|
@@ -1185,12 +1188,12 @@
           #window: 
            #(#WindowSpec
               #name: 'UILayoutTool-Extent'
-              #layout: #(#LayoutFrame 20 0 61 0 345 0 209 0)
+              #layout: #(#LayoutFrame 216 0 173 0 541 0 321 0)
               #level: 0
               #label: 'UILayoutTool-Extent'
               #min: #(#Point 10 10)
               #max: #(#Point 1152 900)
-              #bounds: #(#Rectangle 20 61 346 210)
+              #bounds: #(#Rectangle 216 173 542 322)
               #usePreferredExtent: false
               #returnIsOKInDialog: true
               #escapeIsCancelInDialog: true
@@ -1246,10 +1249,11 @@
                           )
                            #(#CheckBoxSpec
                               #name: 'useDefaultExtentCheckBox'
-                              #layout: #(#LayoutFrame -1 0 75 0 135 0 97 0)
+                              #layout: #(#LayoutFrame -1 0 75 0 296 0 97 0)
                               #model: #useDefaultExtent
                               #label: 'Use Widgets Default Extent'
                               #translateLabel: true
+                              #enableChannel: #defaultExtentEnabled
                           )
                         )
                     )