*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Fri, 21 Aug 1998 20:54:35 +0200
changeset 962 54f981030675
parent 961 9b6928725d49
child 963 62cdb7923a3b
*** empty log message ***
UISelectionPanel.st
--- a/UISelectionPanel.st	Wed Aug 19 12:52:51 1998 +0200
+++ b/UISelectionPanel.st	Fri Aug 21 20:54:35 1998 +0200
@@ -1069,11 +1069,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Misc'
-              #layout: #(#LayoutFrame 39 0 189 0 506 0 473 0)
+              #layout: #(#LayoutFrame 50 0 73 0 517 0 357 0)
               #label: 'Misc'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 39 189 507 474)
+              #bounds: #(#Rectangle 50 73 518 358)
               #usePreferredExtent: false
           )
           #component: 
@@ -1086,9 +1086,18 @@
                     #hasBorder: false
                 )
                  #(#LabelSpec
-                    #name: 'ArbitraryComponentLabel'
+                    #name: 'ArbitraryComponentLabel1'
                     #layout: #(#AlignmentOrigin 19 0 19 0 0 0)
-                    #label: 'Arbitrary Component'
+                    #label: 'Arbitrary'
+                    #style: #(#FontDescription #helvetica #medium #roman 10)
+                    #adjust: #left
+                    #resizeForLabel: true
+                    #canUIDrag: false
+                )
+                 #(#LabelSpec
+                    #name: 'ArbitraryComponentLabel2'
+                    #layout: #(#AlignmentOrigin 19 0 43 0 0 0)
+                    #label: 'Component'
                     #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
@@ -1192,7 +1201,7 @@
                 )
                  #(#LabelSpec
                     #name: 'RoundProgressIndicatorsLabel'
-                    #layout: #(#AlignmentOrigin 345 0 149 0 1 0)
+                    #layout: #(#AlignmentOrigin 345 0 179 0 1 0)
                     #label: 'Round
 Progress Indicator'
                     #style: #(#FontDescription #helvetica #medium #roman 10)
@@ -1210,7 +1219,7 @@
           )
       )
 
-    "Modified: / 6.6.1998 / 16:53:38 / cg"
+    "Modified: / 21.8.1998 / 20:53:14 / cg"
 !
 
 standardTexts