Delete #max: (- windowsize) in windowSpecs
authorStefan Vogel <sv@exept.de>
Thu, 04 Sep 2003 21:04:54 +0200
changeset 5154 54806be0518e
parent 5153 0030b86728bf
child 5155 db765d5ea490
Delete #max: (- windowsize) in windowSpecs
AbstractSettingsApplication.st
--- a/AbstractSettingsApplication.st	Thu Sep 04 21:02:36 2003 +0200
+++ b/AbstractSettingsApplication.st	Thu Sep 04 21:04:54 2003 +0200
@@ -5239,141 +5239,140 @@
     <resource: #canvas>
 
     ^ 
-     #(#FullSpec
-        #name: #windowSpec
-        #window: 
-       #(#WindowSpec
-          #label: 'Display settings'
-          #name: 'Display settings'
-          #min: #(#Point 10 10)
-          #max: #(#Point 1024 768)
-          #bounds: #(#Rectangle 16 46 526 612)
+     #(FullSpec
+        name: windowSpec
+        window: 
+       (WindowSpec
+          label: 'Display settings'
+          name: 'Display settings'
+          min: (Point 10 10)
+          bounds: (Rectangle 14 46 524 612)
         )
-        #component: 
-       #(#SpecCollection
-          #collection: #(
-           #(#VerticalPanelViewSpec
-              #name: 'VerticalPanel2'
-              #layout: #(#LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
-              #horizontalLayout: #fit
-              #verticalLayout: #center
-              #horizontalSpace: 3
-              #verticalSpace: 3
-              #component: 
-             #(#SpecCollection
-                #collection: #(
-                 #(#VerticalPanelViewSpec
-                    #name: 'VerticalPanel1'
-                    #horizontalLayout: #fitSpace
-                    #verticalLayout: #topSpace
-                    #horizontalSpace: 5
-                    #verticalSpace: 3
-                    #component: 
-                   #(#SpecCollection
-                      #collection: #(
-                       #(#CheckBoxSpec
-                          #label: 'Shadows under PopUp Views'
-                          #name: 'CheckBox1'
-                          #model: #shadows
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Beeper enabled'
-                          #name: 'CheckBox2'
-                          #model: #beepEnabled
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Boxes Return Focus to Previously Active View'
-                          #name: 'CheckBox3'
-                          #model: #returnFocus
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Views Catch Focus when Mapped'
-                          #name: 'CheckBox4'
-                          #model: #takeFocus
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Show Accelerator Keys in Menus'
-                          #name: 'CheckBox6'
-                          #model: #showAccelerators
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Raise & Activate Windows on Click'
-                          #name: 'CheckBox7'
-                          #model: #activateOnClick
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Focus Follows Mouse'
-                          #name: 'CheckBox8'
-                          #model: #focusFollowsMouse
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Opaque Variable Panel Resizing'
-                          #name: 'CheckBox9'
-                          #model: #opaqueVariablePanelResize
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Opaque Table Column Resizing'
-                          #name: 'CheckBox10'
-                          #model: #opaqueTableColumnResize
-                          #translateLabel: true
-                          #extent: #(#Point 500 22)
-                        )
-                       #(#ViewSpec
-                          #name: 'Box1'
-                          #component: 
-                         #(#SpecCollection
-                            #collection: #(
-                             #(#LabelSpec
-                                #label: 'Label'
-                                #name: 'Label1'
-                                #layout: #(#LayoutFrame 0 0.0 0 0 0 1.0 -22 1)
-                                #translateLabel: true
-                                #labelChannel: #formatHostNameWindowLabel
-                                #adjust: #leftRight
+        component: 
+       (SpecCollection
+          collection: (
+           (VerticalPanelViewSpec
+              name: 'VerticalPanel2'
+              layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
+              horizontalLayout: fit
+              verticalLayout: center
+              horizontalSpace: 3
+              verticalSpace: 3
+              component: 
+             (SpecCollection
+                collection: (
+                 (VerticalPanelViewSpec
+                    name: 'VerticalPanel1'
+                    horizontalLayout: fitSpace
+                    verticalLayout: topSpace
+                    horizontalSpace: 5
+                    verticalSpace: 3
+                    component: 
+                   (SpecCollection
+                      collection: (
+                       (CheckBoxSpec
+                          label: 'Shadows under PopUp Views'
+                          name: 'CheckBox1'
+                          model: shadows
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Beeper enabled'
+                          name: 'CheckBox2'
+                          model: beepEnabled
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Boxes Return Focus to Previously Active View'
+                          name: 'CheckBox3'
+                          model: returnFocus
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Views Catch Focus when Mapped'
+                          name: 'CheckBox4'
+                          model: takeFocus
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Show Accelerator Keys in Menus'
+                          name: 'CheckBox6'
+                          model: showAccelerators
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Raise & Activate Windows on Click'
+                          name: 'CheckBox7'
+                          model: activateOnClick
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Focus Follows Mouse'
+                          name: 'CheckBox8'
+                          model: focusFollowsMouse
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Opaque Variable Panel Resizing'
+                          name: 'CheckBox9'
+                          model: opaqueVariablePanelResize
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (CheckBoxSpec
+                          label: 'Opaque Table Column Resizing'
+                          name: 'CheckBox10'
+                          model: opaqueTableColumnResize
+                          translateLabel: true
+                          extent: (Point 500 22)
+                        )
+                       (ViewSpec
+                          name: 'Box1'
+                          component: 
+                         (SpecCollection
+                            collection: (
+                             (LabelSpec
+                                label: 'Label'
+                                name: 'Label1'
+                                layout: (LayoutFrame 0 0.0 0 0 0 1.0 -22 1)
+                                translateLabel: true
+                                labelChannel: formatHostNameWindowLabel
+                                adjust: leftRight
                               )
-                             #(#CheckBoxSpec
-                                #label: 'Hostname in Window Labels'
-                                #name: 'CheckBox5'
-                                #layout: #(#LayoutFrame 0 0 -22 1 216 0 0 1)
-                                #model: #hostNameInLabelHolder
-                                #translateLabel: true
+                             (CheckBoxSpec
+                                label: 'Hostname in Window Labels'
+                                name: 'CheckBox5'
+                                layout: (LayoutFrame 0 0 -22 1 216 0 0 1)
+                                model: hostNameInLabelHolder
+                                translateLabel: true
                               )
-                             #(#InputFieldSpec
-                                #name: 'EntryField1'
-                                #layout: #(#LayoutFrame 218 0 -22 1 -5 1 0 1)
-                                #enableChannel: #hostNameInLabelHolder
-                                #model: #newWindowLabelFormat
-                                #immediateAccept: true
-                                #acceptOnReturn: true
-                                #acceptOnTab: true
-                                #acceptOnLostFocus: true
-                                #acceptOnPointerLeave: true
+                             (InputFieldSpec
+                                name: 'EntryField1'
+                                layout: (LayoutFrame 218 0 -22 1 -5 1 0 1)
+                                enableChannel: hostNameInLabelHolder
+                                model: newWindowLabelFormat
+                                immediateAccept: true
+                                acceptOnReturn: true
+                                acceptOnTab: true
+                                acceptOnLostFocus: true
+                                acceptOnPointerLeave: true
                               )
                              )
                            
                           )
-                          #extent: #(#Point 500 120)
+                          extent: (Point 500 120)
                         )
                        )
                      
                     )
-                    #extent: #(#Point 510 550)
+                    extent: (Point 510 550)
                   )
                  )
                
@@ -6089,277 +6088,276 @@
     <resource: #canvas>
 
     ^ 
-     #(#FullSpec
-        #name: #windowSpec
-        #window: 
-       #(#WindowSpec
-          #label: 'Printer Settings'
-          #name: 'Printer Settings'
-          #min: #(#Point 10 10)
-          #max: #(#Point 1024 768)
-          #bounds: #(#Rectangle 16 46 616 386)
+     #(FullSpec
+        name: windowSpec
+        window: 
+       (WindowSpec
+          label: 'Printer Settings'
+          name: 'Printer Settings'
+          min: (Point 10 10)
+          bounds: (Rectangle 14 46 614 386)
         )
-        #component: 
-       #(#SpecCollection
-          #collection: #(
-           #(#VerticalPanelViewSpec
-              #name: 'VerticalPanel1'
-              #layout: #(#LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
-              #horizontalLayout: #fit
-              #verticalLayout: #top
-              #horizontalSpace: 3
-              #verticalSpace: 3
-              #component: 
-             #(#SpecCollection
-                #collection: #(
-                 #(#ViewSpec
-                    #name: 'PrinterSelectBox'
-                    #component: 
-                   #(#SpecCollection
-                      #collection: #(
-                       #(#LabelSpec
-                          #label: 'Printer Type:'
-                          #name: 'PrinterTypeLabel'
-                          #layout: #(#LayoutFrame 0 0 5 0 150 0 27 0)
-                          #translateLabel: true
-                          #adjust: #right
-                        )
-                       #(#ComboListSpec
-                          #name: 'PrinterTypeComboList'
-                          #layout: #(#LayoutFrame 150 0 5 0 -5 1 27 0)
-                          #model: #printerTypeSelection
-                          #comboList: #printerType
-                          #useIndex: true
-                        )
-                       #(#LabelSpec
-                          #label: 'Printer Command:'
-                          #name: 'PrinterCommandLabel'
-                          #layout: #(#LayoutFrame 0 0 45 0 150 0 67 0)
-                          #translateLabel: true
-                          #adjust: #right
-                        )
-                       #(#ComboBoxSpec
-                          #name: 'CommandComboBox'
-                          #layout: #(#LayoutFrame 150 0 45 0 -5 1 67 0)
-                          #model: #printCommand
-                          #acceptOnLostFocus: true
-                          #acceptOnPointerLeave: false
-                          #comboList: #printCommandList
-                          #useIndex: false
-                        )
-                       #(#DividerSpec
-                          #name: 'Separator1'
-                          #layout: #(#LayoutFrame 0 0.0 -3 1 0 1.0 0 1)
+        component: 
+       (SpecCollection
+          collection: (
+           (VerticalPanelViewSpec
+              name: 'VerticalPanel1'
+              layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
+              horizontalLayout: fit
+              verticalLayout: top
+              horizontalSpace: 3
+              verticalSpace: 3
+              component: 
+             (SpecCollection
+                collection: (
+                 (ViewSpec
+                    name: 'PrinterSelectBox'
+                    component: 
+                   (SpecCollection
+                      collection: (
+                       (LabelSpec
+                          label: 'Printer Type:'
+                          name: 'PrinterTypeLabel'
+                          layout: (LayoutFrame 0 0 5 0 150 0 27 0)
+                          translateLabel: true
+                          adjust: right
+                        )
+                       (ComboListSpec
+                          name: 'PrinterTypeComboList'
+                          layout: (LayoutFrame 150 0 5 0 -5 1 27 0)
+                          model: printerTypeSelection
+                          comboList: printerType
+                          useIndex: true
+                        )
+                       (LabelSpec
+                          label: 'Printer Command:'
+                          name: 'PrinterCommandLabel'
+                          layout: (LayoutFrame 0 0 45 0 150 0 67 0)
+                          translateLabel: true
+                          adjust: right
+                        )
+                       (ComboBoxSpec
+                          name: 'CommandComboBox'
+                          layout: (LayoutFrame 150 0 45 0 -5 1 67 0)
+                          model: printCommand
+                          acceptOnLostFocus: true
+                          acceptOnPointerLeave: false
+                          comboList: printCommandList
+                          useIndex: false
+                        )
+                       (DividerSpec
+                          name: 'Separator1'
+                          layout: (LayoutFrame 0 0.0 -3 1 0 1.0 0 1)
                         )
                        )
                      
                     )
-                    #extent: #(#Point 600 84)
-                  )
-                 #(#ViewSpec
-                    #name: 'FormatBox'
-                    #component: 
-                   #(#SpecCollection
-                      #collection: #(
-                       #(#LabelSpec
-                          #label: 'Page Format:'
-                          #name: 'PageFormatLabel'
-                          #layout: #(#LayoutFrame 0 0 0 0 150 0 22 0)
-                          #translateLabel: true
-                          #adjust: #right
-                        )
-                       #(#PopUpListSpec
-                          #label: 'PopUp List'
-                          #name: 'PageFormatPopUpList'
-                          #layout: #(#LayoutFrame 150 0 0 0 300 0 22 0)
-                          #tabable: true
-                          #model: #pageFormat
-                          #enableChannel: #enableFormat
-                          #menu: #pageFormatList
-                        )
-                       #(#CheckBoxSpec
-                          #label: 'Landscape'
-                          #name: 'LandscapeCheckBox'
-                          #layout: #(#LayoutFrame 380 0 0 0 -5 1 22 0)
-                          #enableChannel: #enablelandscape
-                          #model: #landscape
-                          #translateLabel: true
-                        )
-                       #(#DividerSpec
-                          #name: 'Separator5'
-                          #layout: #(#LayoutFrame 0 0.0 -3 1 0 1.0 0 1)
+                    extent: (Point 600 84)
+                  )
+                 (ViewSpec
+                    name: 'FormatBox'
+                    component: 
+                   (SpecCollection
+                      collection: (
+                       (LabelSpec
+                          label: 'Page Format:'
+                          name: 'PageFormatLabel'
+                          layout: (LayoutFrame 0 0 0 0 150 0 22 0)
+                          translateLabel: true
+                          adjust: right
+                        )
+                       (PopUpListSpec
+                          label: 'PopUp List'
+                          name: 'PageFormatPopUpList'
+                          layout: (LayoutFrame 150 0 0 0 300 0 22 0)
+                          tabable: true
+                          model: pageFormat
+                          enableChannel: enableFormat
+                          menu: pageFormatList
+                        )
+                       (CheckBoxSpec
+                          label: 'Landscape'
+                          name: 'LandscapeCheckBox'
+                          layout: (LayoutFrame 380 0 0 0 -5 1 22 0)
+                          enableChannel: enablelandscape
+                          model: landscape
+                          translateLabel: true
+                        )
+                       (DividerSpec
+                          name: 'Separator5'
+                          layout: (LayoutFrame 0 0.0 -3 1 0 1.0 0 1)
                         )
                        )
                      
                     )
-                    #extent: #(#Point 600 30)
-                  )
-                 #(#ViewSpec
-                    #name: 'MarginBox'
-                    #component: 
-                   #(#SpecCollection
-                      #collection: #(
-                       #(#VerticalPanelViewSpec
-                          #name: 'VerticalPanel2'
-                          #layout: #(#LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
-                          #horizontalLayout: #fit
-                          #verticalLayout: #center
-                          #horizontalSpace: 3
-                          #verticalSpace: 3
-                          #component: 
-                         #(#SpecCollection
-                            #collection: #(
-                             #(#ViewSpec
-                                #name: 'Box1'
-                                #component: 
-                               #(#SpecCollection
-                                  #collection: #(
-                                   #(#LabelSpec
-                                      #label: 'Top Margin:'
-                                      #name: 'TopMarginLabel'
-                                      #layout: #(#LayoutFrame 0 0 0 0 150 0 21 0)
-                                      #translateLabel: true
-                                      #adjust: #right
+                    extent: (Point 600 30)
+                  )
+                 (ViewSpec
+                    name: 'MarginBox'
+                    component: 
+                   (SpecCollection
+                      collection: (
+                       (VerticalPanelViewSpec
+                          name: 'VerticalPanel2'
+                          layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
+                          horizontalLayout: fit
+                          verticalLayout: center
+                          horizontalSpace: 3
+                          verticalSpace: 3
+                          component: 
+                         (SpecCollection
+                            collection: (
+                             (ViewSpec
+                                name: 'Box1'
+                                component: 
+                               (SpecCollection
+                                  collection: (
+                                   (LabelSpec
+                                      label: 'Top Margin:'
+                                      name: 'TopMarginLabel'
+                                      layout: (LayoutFrame 0 0 0 0 150 0 21 0)
+                                      translateLabel: true
+                                      adjust: right
                                     )
-                                   #(#InputFieldSpec
-                                      #name: 'TopMarginEntryField'
-                                      #layout: #(#LayoutFrame 150 0 0 0 250 0 21 0)
-                                      #enableChannel: #enableMargins
-                                      #model: #topMargin
-                                      #type: #numberOrNil
-                                      #acceptOnReturn: true
-                                      #acceptOnTab: true
-                                      #acceptOnLostFocus: true
-                                      #acceptOnPointerLeave: true
+                                   (InputFieldSpec
+                                      name: 'TopMarginEntryField'
+                                      layout: (LayoutFrame 150 0 0 0 250 0 21 0)
+                                      enableChannel: enableMargins
+                                      model: topMargin
+                                      type: numberOrNil
+                                      acceptOnReturn: true
+                                      acceptOnTab: true
+                                      acceptOnLostFocus: true
+                                      acceptOnPointerLeave: true
                                     )
-                                   #(#PopUpListSpec
-                                      #label: 'PopUp List'
-                                      #name: 'PopUpList2'
-                                      #layout: #(#LayoutFrame -155 1 0 0 -5 1 21 0)
-                                      #tabable: true
-                                      #model: #selectedUnit
-                                      #menu: #unitList
-                                      #useIndex: true
+                                   (PopUpListSpec
+                                      label: 'PopUp List'
+                                      name: 'PopUpList2'
+                                      layout: (LayoutFrame -155 1 0 0 -5 1 21 0)
+                                      tabable: true
+                                      model: selectedUnit
+                                      menu: unitList
+                                      useIndex: true
                                     )
                                    )
                                  
                                 )
-                                #extent: #(#Point 600 24)
+                                extent: (Point 600 24)
                               )
-                             #(#ViewSpec
-                                #name: 'Box2'
-                                #component: 
-                               #(#SpecCollection
-                                  #collection: #(
-                                   #(#LabelSpec
-                                      #label: 'Left Margin:'
-                                      #name: 'LeftMarginLabel'
-                                      #layout: #(#LayoutFrame 0 0 0 0 150 0 21 0)
-                                      #translateLabel: true
-                                      #adjust: #right
+                             (ViewSpec
+                                name: 'Box2'
+                                component: 
+                               (SpecCollection
+                                  collection: (
+                                   (LabelSpec
+                                      label: 'Left Margin:'
+                                      name: 'LeftMarginLabel'
+                                      layout: (LayoutFrame 0 0 0 0 150 0 21 0)
+                                      translateLabel: true
+                                      adjust: right
                                     )
-                                   #(#InputFieldSpec
-                                      #name: 'LeftMarginEntryField'
-                                      #layout: #(#LayoutFrame 150 0 0 0 250 0 21 0)
-                                      #enableChannel: #enableMargins
-                                      #model: #leftMargin
-                                      #type: #numberOrNil
-                                      #acceptOnReturn: true
-                                      #acceptOnTab: true
-                                      #acceptOnLostFocus: true
-                                      #acceptOnPointerLeave: true
+                                   (InputFieldSpec
+                                      name: 'LeftMarginEntryField'
+                                      layout: (LayoutFrame 150 0 0 0 250 0 21 0)
+                                      enableChannel: enableMargins
+                                      model: leftMargin
+                                      type: numberOrNil
+                                      acceptOnReturn: true
+                                      acceptOnTab: true
+                                      acceptOnLostFocus: true
+                                      acceptOnPointerLeave: true
                                     )
                                    )
                                  
                                 )
-                                #extent: #(#Point 600 24)
+                                extent: (Point 600 24)
                               )
-                             #(#ViewSpec
-                                #name: 'Box3'
-                                #component: 
-                               #(#SpecCollection
-                                  #collection: #(
-                                   #(#LabelSpec
-                                      #label: 'Right Margin:'
-                                      #name: 'RightMarginLabel'
-                                      #layout: #(#LayoutFrame 0 0 0 0 150 0 21 0)
-                                      #translateLabel: true
-                                      #adjust: #right
+                             (ViewSpec
+                                name: 'Box3'
+                                component: 
+                               (SpecCollection
+                                  collection: (
+                                   (LabelSpec
+                                      label: 'Right Margin:'
+                                      name: 'RightMarginLabel'
+                                      layout: (LayoutFrame 0 0 0 0 150 0 21 0)
+                                      translateLabel: true
+                                      adjust: right
                                     )
-                                   #(#InputFieldSpec
-                                      #name: 'RightMarginEntryField'
-                                      #layout: #(#LayoutFrame 150 0 0 0 250 0 21 0)
-                                      #enableChannel: #enableMargins
-                                      #model: #rightMargin
-                                      #type: #numberOrNil
-                                      #acceptOnReturn: true
-                                      #acceptOnTab: true
-                                      #acceptOnLostFocus: true
-                                      #acceptOnPointerLeave: true
+                                   (InputFieldSpec
+                                      name: 'RightMarginEntryField'
+                                      layout: (LayoutFrame 150 0 0 0 250 0 21 0)
+                                      enableChannel: enableMargins
+                                      model: rightMargin
+                                      type: numberOrNil
+                                      acceptOnReturn: true
+                                      acceptOnTab: true
+                                      acceptOnLostFocus: true
+                                      acceptOnPointerLeave: true
                                     )
                                    )
                                  
                                 )
-                                #extent: #(#Point 600 24)
+                                extent: (Point 600 24)
                               )
-                             #(#ViewSpec
-                                #name: 'Box4'
-                                #component: 
-                               #(#SpecCollection
-                                  #collection: #(
-                                   #(#LabelSpec
-                                      #label: 'Bottom Margin:'
-                                      #name: 'BottomMarginLabel'
-                                      #layout: #(#LayoutFrame 0 0 0 0 150 0 21 0)
-                                      #translateLabel: true
-                                      #adjust: #right
+                             (ViewSpec
+                                name: 'Box4'
+                                component: 
+                               (SpecCollection
+                                  collection: (
+                                   (LabelSpec
+                                      label: 'Bottom Margin:'
+                                      name: 'BottomMarginLabel'
+                                      layout: (LayoutFrame 0 0 0 0 150 0 21 0)
+                                      translateLabel: true
+                                      adjust: right
                                     )
-                                   #(#InputFieldSpec
-                                      #name: 'BottomMarginEntryField'
-                                      #layout: #(#LayoutFrame 150 0 0 0 250 0 21 0)
-                                      #enableChannel: #enableMargins
-                                      #model: #bottomMargin
-                                      #type: #numberOrNil
-                                      #acceptOnReturn: true
-                                      #acceptOnTab: true
-                                      #acceptOnLostFocus: true
-                                      #acceptOnPointerLeave: true
+                                   (InputFieldSpec
+                                      name: 'BottomMarginEntryField'
+                                      layout: (LayoutFrame 150 0 0 0 250 0 21 0)
+                                      enableChannel: enableMargins
+                                      model: bottomMargin
+                                      type: numberOrNil
+                                      acceptOnReturn: true
+                                      acceptOnTab: true
+                                      acceptOnLostFocus: true
+                                      acceptOnPointerLeave: true
                                     )
                                    )
                                  
                                 )
-                                #extent: #(#Point 600 24)
+                                extent: (Point 600 24)
                               )
                              )
                            
                           )
                         )
-                       #(#DividerSpec
-                          #name: 'Separator6'
-                          #layout: #(#LayoutFrame 0 0.0 -3 1 0 1.0 0 1)
+                       (DividerSpec
+                          name: 'Separator6'
+                          layout: (LayoutFrame 0 0.0 -3 1 0 1.0 0 1)
                         )
                        )
                      
                     )
-                    #extent: #(#Point 600 100)
-                  )
-                 #(#ViewSpec
-                    #name: 'Box5'
-                    #component: 
-                   #(#SpecCollection
-                      #collection: #(
-                       #(#CheckBoxSpec
-                          #label: 'Color Printer'
-                          #name: 'ColorPrinterCheckBox'
-                          #layout: #(#LayoutFrame 0 0 0 0 599 0 21 0)
-                          #enableChannel: #enableColorBox
-                          #model: #supportsColor
-                          #translateLabel: true
+                    extent: (Point 600 100)
+                  )
+                 (ViewSpec
+                    name: 'Box5'
+                    component: 
+                   (SpecCollection
+                      collection: (
+                       (CheckBoxSpec
+                          label: 'Color Printer'
+                          name: 'ColorPrinterCheckBox'
+                          layout: (LayoutFrame 0 0 0 0 599 0 21 0)
+                          enableChannel: enableColorBox
+                          model: supportsColor
+                          translateLabel: true
                         )
                        )
                      
                     )
-                    #extent: #(#Point 600 27)
+                    extent: (Point 600 27)
                   )
                  )
                
@@ -6783,53 +6781,52 @@
     <resource: #canvas>
 
     ^ 
-     #(#FullSpec
-        #name: #windowSpec
-        #window: 
-       #(#WindowSpec
-          #label: 'Processor and Scheduler Settings'
-          #name: 'Processor and Scheduler Settings'
-          #min: #(#Point 10 10)
-          #max: #(#Point 1024 768)
-          #bounds: #(#Rectangle 16 42 616 362)
+     #(FullSpec
+        name: windowSpec
+        window: 
+       (WindowSpec
+          label: 'Processor and Scheduler Settings'
+          name: 'Processor and Scheduler Settings'
+          min: (Point 10 10)
+          bounds: (Rectangle 14 46 614 366)
         )
-        #component: 
-       #(#SpecCollection
-          #collection: #(
-           #(#VerticalPanelViewSpec
-              #name: 'VerticalPanel2'
-              #layout: #(#LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
-              #horizontalLayout: #fit
-              #verticalLayout: #topSpace
-              #horizontalSpace: 3
-              #verticalSpace: 5
-              #component: 
-             #(#SpecCollection
-                #collection: #(
-                 #(#CheckBoxSpec
-                    #label: 'Preemptive Scheduling'
-                    #name: 'CheckBox11'
-                    #model: #preemptive
-                    #translateLabel: true
-                    #extent: #(#Point 600 22)
-                  )
-                 #(#ViewSpec
-                    #name: 'Box2'
-                    #component: 
-                   #(#SpecCollection
-                      #collection: #(
-                       #(#CheckBoxSpec
-                          #label: 'Dynamic Priorities'
-                          #name: 'CheckBox12'
-                          #layout: #(#LayoutFrame 30 0.0 0 0 0 1.0 22 0)
-                          #enableChannel: #preemptive
-                          #model: #dynamicPrios
-                          #translateLabel: true
+        component: 
+       (SpecCollection
+          collection: (
+           (VerticalPanelViewSpec
+              name: 'VerticalPanel2'
+              layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
+              horizontalLayout: fit
+              verticalLayout: topSpace
+              horizontalSpace: 3
+              verticalSpace: 5
+              component: 
+             (SpecCollection
+                collection: (
+                 (CheckBoxSpec
+                    label: 'Preemptive Scheduling'
+                    name: 'CheckBox11'
+                    model: preemptive
+                    translateLabel: true
+                    extent: (Point 600 22)
+                  )
+                 (ViewSpec
+                    name: 'Box2'
+                    component: 
+                   (SpecCollection
+                      collection: (
+                       (CheckBoxSpec
+                          label: 'Dynamic Priorities'
+                          name: 'CheckBox12'
+                          layout: (LayoutFrame 30 0.0 0 0 0 1.0 22 0)
+                          enableChannel: preemptive
+                          model: dynamicPrios
+                          translateLabel: true
                         )
                        )
                      
                     )
-                    #extent: #(#Point 600 23)
+                    extent: (Point 600 23)
                   )
                  )
                
@@ -10901,5 +10898,5 @@
 !AbstractSettingsApplication class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/AbstractSettingsApplication.st,v 1.102 2003-09-04 10:56:49 stefan Exp $'
-! !
+    ^ '$Header: /cvs/stx/stx/libtool/AbstractSettingsApplication.st,v 1.103 2003-09-04 19:04:54 stefan Exp $'
+! !