UISelectionPanel.st
changeset 803 19e0367ee9d6
parent 800 6f4108567782
child 840 e368bbd0e6d4
--- a/UISelectionPanel.st	Wed Apr 22 14:53:58 1998 +0200
+++ b/UISelectionPanel.st	Wed Apr 22 15:58:26 1998 +0200
@@ -1202,11 +1202,11 @@
           #window: 
            #(#WindowSpec
               #name: 'Texts'
-              #layout: #(#LayoutFrame 216 0 173 0 682 0 379 0)
+              #layout: #(#LayoutFrame 102 0 279 0 568 0 485 0)
               #label: 'Texts'
               #min: #(#Point 10 10)
               #max: #(#Point 1280 1024)
-              #bounds: #(#Rectangle 216 173 683 380)
+              #bounds: #(#Rectangle 102 279 569 486)
               #usePreferredExtent: false
           )
           #component: 
@@ -1237,7 +1237,7 @@
                  #(#LabelSpec
                     #name: 'HTMLViewLabel'
                     #layout: #(#AlignmentOrigin 267 0 19 0 0 0)
-                    #label: 'HTML Browser'
+                    #label: 'HTML View'
                     #style: #(#FontDescription #helvetica #medium #roman 10)
                     #adjust: #left
                     #resizeForLabel: true
@@ -1264,8 +1264,6 @@
               )
           )
       )
-
-    "Modified: / 21.4.1998 / 18:42:30 / cg"
 !
 
 standardUserPanel