# HG changeset patch # User ca # Date 876922781 -7200 # Node ID 3f632e9711e8af517cd6b92ff2ca6c6314438252 # Parent a2e23dea36bf5f37b203b202c0142703d1ea375b add DataSetSpec diff -r a2e23dea36bf -r 3f632e9711e8 UISelectionPanel.st --- a/UISelectionPanel.st Wed Oct 15 15:39:01 1997 +0200 +++ b/UISelectionPanel.st Wed Oct 15 15:39:41 1997 +0200 @@ -1200,11 +1200,11 @@ #'window:' #(#WindowSpec #'name:' 'Lists' - #'layout:' #(#LayoutFrame 68 0 69 0 537 0 311 0) + #'layout:' #(#LayoutFrame 197 0 172 0 666 0 414 0) #'label:' 'Lists' #'min:' #(#Point 10 10) #'max:' #(#Point 1280 1024) - #'bounds:' #(#Rectangle 68 69 538 312) + #'bounds:' #(#Rectangle 197 172 667 415) ) #'component:' #(#SpecCollection @@ -1215,10 +1215,11 @@ #'layout:' #(#LayoutFrame 247 0 15 0 452 0 109 0) #'hasHorizontalScrollBar:' true #'hasVerticalScrollBar:' true + #'useIndex:' false ) #(#LabelSpec #'name:' 'SelectionInListLabel' - #'layout:' #(#AlignmentOrigin 320 0 110 0 0 1) + #'layout:' #(#AlignmentOrigin 320 0 108 0 0 1) #'label:' 'SelectionInList' #'style:' #(#FontDescription #helvetica #medium #roman #'10') #'adjust:' #left @@ -1233,7 +1234,7 @@ ) #(#LabelSpec #'name:' 'SelectionInTreeLabel' - #'layout:' #(#AlignmentOrigin 93 0 110 0 0 1) + #'layout:' #(#AlignmentOrigin 93 0 108 0 0 1) #'label:' 'SelectionInTree' #'style:' #(#FontDescription #helvetica #medium #roman #'10') #'adjust:' #left @@ -1248,13 +1249,28 @@ ) #(#LabelSpec #'name:' 'FileSelectionTreeLabel' - #'layout:' #(#AlignmentOrigin 93 0 225 0 0 1) + #'layout:' #(#AlignmentOrigin 93 0 223 0 0 1) #'label:' 'FileSelectionTree' #'style:' #(#FontDescription #helvetica #medium #roman #'10') #'adjust:' #left #'resizeForLabel:' true #'canUIDrag:' false ) + #(#DataSetSpec + #'name:' 'DataSetSpec' + #'layout:' #(#LayoutFrame 247 0 130 0 452 0 224 0) + #'hasHorizontalScrollBar:' true + #'hasVerticalScrollBar:' true + ) + #(#LabelSpec + #'name:' 'DataSetSpecLabel' + #'layout:' #(#AlignmentOrigin 320 0 223 0 0 1) + #'label:' 'DataSetView' + #'style:' #(#FontDescription #helvetica #medium #roman #'10') + #'adjust:' #left + #'resizeForLabel:' true + #'canUIDrag:' false + ) ) ) )