equal
deleted
inserted
replaced
93 |
93 |
94 #(#FullSpec |
94 #(#FullSpec |
95 #'window:' |
95 #'window:' |
96 #(#WindowSpec |
96 #(#WindowSpec |
97 #'name:' 'Resource Browser' |
97 #'name:' 'Resource Browser' |
98 #'layout:' #(#LayoutFrame 460 0 343 0 871 0 642 0) |
98 #'layout:' #(#LayoutFrame 197 0 172 0 696 0 521 0) |
99 #'label:' 'Resource Browser' |
99 #'label:' 'Resource Browser' |
100 #'min:' #(#Point 400 300) |
100 #'min:' #(#Point 400 300) |
101 #'max:' #(#Point 1152 864) |
101 #'max:' #(#Point 1152 864) |
102 #'bounds:' #(#Rectangle 460 343 872 643) |
102 #'bounds:' #(#Rectangle 197 172 697 522) |
103 #'usePreferredExtent:' false |
103 #'usePreferredExtent:' false |
104 ) |
104 ) |
105 #'component:' |
105 #'component:' |
106 #(#SpecCollection |
106 #(#SpecCollection |
107 #'collection:' |
107 #'collection:' |