UISelectionPanel.st
changeset 670 c77522d9e388
parent 663 fe6ee38d4eda
child 671 3e3d7f168024
--- a/UISelectionPanel.st	Mon Feb 23 19:12:28 1998 +0100
+++ b/UISelectionPanel.st	Mon Feb 23 21:24:56 1998 +0100
@@ -372,11 +372,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Boxes'
-              #layout: #(#LayoutFrame 197 0 172 0 697 0 411 0)
+              #layout: #(#LayoutFrame 93 0 141 0 593 0 380 0)
               #label: 'Boxes'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 197 172 698 412)
+              #bounds: #(#Rectangle 93 141 594 381)
               #usePreferredExtent: false
           )
           #component: 
@@ -391,7 +391,7 @@
                     #name: 'ViewLabel'
                     #layout: #(#AlignmentOrigin 18 0 17 0 0 0)
                     #label: 'Box'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -400,7 +400,7 @@
                     #name: 'VPanelLabel'
                     #layout: #(#LayoutFrame 15 0 116 0 220 0 139 0)
                     #label: 'Variable Panels'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #canUIDrag: false
                 )
@@ -464,7 +464,7 @@
                     #name: 'PanelLabel'
                     #layout: #(#LayoutFrame 240 0 116 0 445 0 139 0)
                     #label: 'Panels'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #canUIDrag: false
                 )
@@ -622,11 +622,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Buttons'
-              #layout: #(#LayoutFrame 50 0 290 0 528 0 489 0)
+              #layout: #(#LayoutFrame 40 0 280 0 518 0 479 0)
               #label: 'Buttons'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 50 290 529 490)
+              #bounds: #(#Rectangle 40 280 519 480)
               #usePreferredExtent: false
           )
           #component: 
@@ -638,41 +638,35 @@
                     #layout: #(#LayoutFrame 15 0 15 0 130 0 37 0)
                     #activeHelpKey: #dss
                     #label: 'Button'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                 )
                  #(#ActionButtonSpec
                     #name: 'Button - OK'
                     #layout: #(#LayoutFrame 15 0 47 0 130 0 69 0)
                     #label: 'OK'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #model: #accept
                 )
                  #(#ActionButtonSpec
                     #name: 'Button - Cancel'
                     #layout: #(#LayoutFrame 15 0 79 0 130 0 101 0)
                     #label: 'Cancel'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #model: #cancel
                 )
                  #(#ActionButtonSpec
                     #name: 'Button - Help'
                     #layout: #(#LayoutFrame 15 0 111 0 130 0 133 0)
                     #label: 'Help'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #model: #help
                 )
                  #(#ActionButtonSpec
                     #name: 'Button - Close'
                     #layout: #(#LayoutFrame 15 0 143 0 130 0 165 0)
                     #label: 'Close'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #model: #closeRequest
                 )
                  #(#RadioButtonSpec
                     #name: 'RadioButton'
                     #layout: #(#LayoutFrame 151 0.0 15 0 266 0 37 0)
                     #label: 'RadioButton'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #isTriggerOnDown: true
                     #showLamp: true
                     #lampColor: #(#Color 100.0 100.0 0.0)
@@ -681,7 +675,6 @@
                     #name: 'ModelButton'
                     #layout: #(#LayoutFrame 151 0 47 0 266 0 69 0)
                     #label: 'ModelButton'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                 )
                  #(#SliderSpec
                     #name: 'Slider'
@@ -695,7 +688,7 @@
                     #name: 'SliderLabel'
                     #layout: #(#AlignmentOrigin 185 0 83 0 0 0)
                     #label: 'Slider'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -704,7 +697,7 @@
                     #name: 'ThumbWheelLabel'
                     #layout: #(#AlignmentOrigin 151 0 121 0 0 0)
                     #label: 'ThumbWheel'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -745,7 +738,6 @@
                     #name: 'Toggle'
                     #layout: #(#LayoutFrame 330 0 15 0 445 0 37 0)
                     #label: 'Toggle'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #isTriggerOnDown: true
                     #showLamp: true
                     #lampColor: #(#Color 100.0 100.0 0.0)
@@ -753,12 +745,11 @@
                  #(#CheckBoxSpec
                     #name: 'CheckBox'
                     #layout: #(#LayoutFrame 330 0 47 0 445 0 69 0)
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                     #label: 'CheckBox'
                 )
                  #(#CheckToggleSpec
                     #name: 'CheckToggle'
-                    #layout: #(#LayoutFrame 330 0 79 0 352 0 101 0)
+                    #layout: #(#LayoutFrame 332 0 79 0 352 0 98 0)
                     #isTriggerOnDown: true
                     #showLamp: false
                     #lampColor: #(#Color 100.0 100.0 0.0)
@@ -767,7 +758,7 @@
                     #name: 'CheckToggleLabel'
                     #layout: #(#AlignmentOrigin 358 0 84 0 0 0)
                     #label: 'CheckToggle'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -781,7 +772,7 @@
                     #name: 'UpDownButtonLabel'
                     #layout: #(#AlignmentOrigin 361 0 112 0 0 0)
                     #label: 'UpDownButton'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -810,11 +801,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Lists'
-              #layout: #(#LayoutFrame 50 0 290 0 519 0 532 0)
+              #layout: #(#LayoutFrame 93 0 141 0 562 0 383 0)
               #label: 'Lists'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 50 290 520 533)
+              #bounds: #(#Rectangle 93 141 563 384)
               #usePreferredExtent: false
           )
           #component: 
@@ -832,7 +823,7 @@
                     #name: 'SelectionInListLabel'
                     #layout: #(#AlignmentOrigin 42 0 19 0 0 0)
                     #label: 'SelectionInListView'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -848,7 +839,7 @@
                     #name: 'SelectionInTreeLabel'
                     #layout: #(#AlignmentOrigin 42 0 134 0 0 0)
                     #label: 'SelectionInTreeView'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -863,7 +854,7 @@
                     #name: 'DataSetSpecLabel'
                     #layout: #(#AlignmentOrigin 267 0 19 0 0 0)
                     #label: 'DataSetView'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -878,7 +869,7 @@
                     #name: 'FileSelectionTreeLabel'
                     #layout: #(#AlignmentOrigin 267 0 134 0 0 0)
                     #label: 'FileSelectionTree'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -907,11 +898,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Menus'
-              #layout: #(#LayoutFrame 50 0 290 0 621 0 661 0)
+              #layout: #(#LayoutFrame 197 0 172 0 768 0 543 0)
               #label: 'Menus'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 50 290 622 662)
+              #bounds: #(#Rectangle 197 172 769 544)
               #usePreferredExtent: false
           )
           #component: 
@@ -927,7 +918,7 @@
                     #name: 'MenuPanelLabel'
                     #layout: #(#Point 18 22)
                     #label: 'MenuPanel'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -936,7 +927,7 @@
                     #name: 'PopUpList'
                     #layout: #(#LayoutFrame 15 0 55 0 140 0 77 0)
                     #label: 'PopUpList'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #useIndex: false
                 )
                  #(#ComboListSpec
@@ -948,7 +939,7 @@
                     #name: 'ComboListLabel'
                     #layout: #(#LayoutFrame 18 0 96 0 117 0 114 0)
                     #label: 'ComboListView'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -961,7 +952,7 @@
                     #name: 'ComboBoxLabel'
                     #layout: #(#LayoutFrame 18 0 132 0 111 0 150 0)
                     #label: 'ComboBoxView'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -974,7 +965,7 @@
                     #name: 'TabLabel'
                     #layout: #(#Point 160 35)
                     #label: ' TabView '
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -987,7 +978,7 @@
                     #name: 'NoteBookLabel'
                     #layout: #(#Point 161 134)
                     #label: 'NoteBookView'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1000,7 +991,7 @@
                     #name: 'GalleryLabel'
                     #layout: #(#Point 313 134)
                     #label: 'GalleryView'
-                    #style: #(#FontDescription #helvetica #medium #roman #'12')
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1029,11 +1020,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Misc'
-              #layout: #(#LayoutFrame 197 0 172 0 664 0 456 0)
+              #layout: #(#LayoutFrame 93 0 141 0 560 0 425 0)
               #label: 'Misc'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 197 172 665 457)
+              #bounds: #(#Rectangle 93 141 561 426)
               #usePreferredExtent: false
           )
           #component: 
@@ -1049,7 +1040,7 @@
                     #name: 'ArbitraryComponentLabel'
                     #layout: #(#AlignmentOrigin 19 0 17 0 0 0)
                     #label: 'ArbitraryComponent'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1064,7 +1055,7 @@
                     #name: 'subCanvasLabel'
                     #layout: #(#AlignmentOrigin 42 0 134 0 0 0)
                     #label: 'SubCanvas'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1077,7 +1068,7 @@
                     #name: 'SubSpecificationLabel'
                     #layout: #(#Point 245 17)
                     #label: 'SubSpecification'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #resizeForLabel: true
                     #canUIDrag: false
                 )
@@ -1085,7 +1076,7 @@
                     #name: 'ProgressIndicatorLabel'
                     #layout: #(#AlignmentOrigin 240 0 133 0 0 0)
                     #label: 'ProgressIndicator'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1099,7 +1090,7 @@
                     #name: 'SeparatorLabel'
                     #layout: #(#AlignmentOrigin 240 0 154 0 0 0)
                     #label: 'Separator'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1113,7 +1104,7 @@
                     #name: 'VisualRegionLabel'
                     #layout: #(#AlignmentOrigin 240 0 184 0 0 0)
                     #label: 'VisualRegion'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1148,11 +1139,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Text Views'
-              #layout: #(#LayoutFrame 197 0 172 0 663 0 378 0)
+              #layout: #(#LayoutFrame 40 0 280 0 506 0 486 0)
               #label: 'Text Views'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 197 172 664 379)
+              #bounds: #(#Rectangle 40 280 507 487)
               #usePreferredExtent: false
           )
           #component: 
@@ -1167,9 +1158,9 @@
                 )
                  #(#LabelSpec
                     #name: 'EditTextLabel'
-                    #layout: #(#AlignmentOrigin 42 0 19 0 0 0)
+                    #layout: #(#AlignmentOrigin 50 0 19 0 0 0)
                     #label: 'TextView'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1184,7 +1175,7 @@
                     #name: 'HTMLViewLabel'
                     #layout: #(#AlignmentOrigin 267 0 19 0 0 0)
                     #label: 'HTMLView'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1195,9 +1186,9 @@
                 )
                  #(#LabelSpec
                     #name: 'EditFieldLabel'
-                    #layout: #(#LayoutFrame 42 0 127 0 95 0 147 0)
+                    #layout: #(#LayoutFrame 50 0 127 0 103 0 147 0)
                     #label: 'EditField'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
                     #canUIDrag: false
@@ -1206,7 +1197,6 @@
                     #name: 'Label'
                     #layout: #(#LayoutFrame 240 0 125 0 445 0 147 0)
                     #label: 'Label'
-                    #style: #(#FontDescription #helvetica #medium #roman 12)
                 )
               )
           )