ResourceSelectionBrowser.st
changeset 596 d7613f6ab331
parent 563 81f54df8d333
child 608 8610ea5b501d
--- a/ResourceSelectionBrowser.st	Thu Feb 05 17:20:49 1998 +0100
+++ b/ResourceSelectionBrowser.st	Thu Feb 05 19:17:54 1998 +0100
@@ -95,11 +95,11 @@
           #'window:' 
            #(#WindowSpec
               #'name:' 'Resource Browser'
-              #'layout:' #(#LayoutFrame 460 0 343 0 871 0 642 0)
+              #'layout:' #(#LayoutFrame 197 0 172 0 696 0 521 0)
               #'label:' 'Resource Browser'
               #'min:' #(#Point 400 300)
               #'max:' #(#Point 1152 864)
-              #'bounds:' #(#Rectangle 460 343 872 643)
+              #'bounds:' #(#Rectangle 197 172 697 522)
               #'usePreferredExtent:' false
           )
           #'component:'