258 #(#SpecCollection |
258 #(#SpecCollection |
259 #collection: |
259 #collection: |
260 #( |
260 #( |
261 #(#RadioButtonSpec |
261 #(#RadioButtonSpec |
262 #name: 'ClassCategoriesRadioButton' |
262 #name: 'ClassCategoriesRadioButton' |
263 #label: 'Class Categories' |
263 #label: 'Categories' |
264 #translateLabel: true |
264 #translateLabel: true |
265 #model: #selectionOfClassPresentation |
265 #model: #selectionOfClassPresentation |
266 #isTriggerOnDown: true |
266 #isTriggerOnDown: true |
267 #lampColor: #(#Color 0.0 0.0 0.0) |
267 #lampColor: #(#Color 0.0 0.0 0.0) |
268 #select: #'Class Categories' |
268 #select: #'Class Categories' |
269 #extent: #(#Point 124 21) |
269 #extent: #(#Point 124 21) |
270 ) |
270 ) |
271 #(#RadioButtonSpec |
271 #(#RadioButtonSpec |
272 #name: 'ClassHierarchyRadioButton' |
272 #name: 'ClassHierarchyRadioButton' |
273 #label: 'Class Hierarchy' |
273 #label: 'Hierarchy' |
274 #translateLabel: true |
274 #translateLabel: true |
275 #model: #selectionOfClassPresentation |
275 #model: #selectionOfClassPresentation |
276 #isTriggerOnDown: true |
276 #isTriggerOnDown: true |
277 #lampColor: #(#Color 0.0 0.0 0.0) |
277 #lampColor: #(#Color 0.0 0.0 0.0) |
278 #select: #'Class Hierarchy' |
278 #select: #'Class Hierarchy' |