# HG changeset patch # User ca # Date 876931477 -7200 # Node ID 121b64d9b39a7a52b814b48d6c9ee930faf3b0a8 # Parent ea36cf31c084b4649fdc16db326c5b9fab8a793a change window spec diff -r ea36cf31c084 -r 121b64d9b39a UIHelpTool.st --- a/UIHelpTool.st Wed Oct 15 18:03:57 1997 +0200 +++ b/UIHelpTool.st Wed Oct 15 18:04:37 1997 +0200 @@ -172,11 +172,11 @@ #'window:' #(#WindowSpec #'name:' 'HelpTool' - #'layout:' #(#LayoutFrame 199 0 167 0 794 0 664 0) + #'layout:' #(#LayoutFrame 136 0 718 0 731 0 1215 0) #'label:' 'HelpTool' #'min:' #(#Point 10 10) #'max:' #(#Point 1160 870) - #'bounds:' #(#Rectangle 199 167 795 665) + #'bounds:' #(#Rectangle 136 718 732 1216) ) #'component:' #(#SpecCollection @@ -203,14 +203,17 @@ ) #(#SequenceViewSpec #'name:' 'selectionList' - #'model:' #selectionListModel + #'model:' #listModel #'hasHorizontalScrollBar:' true #'hasVerticalScrollBar:' true #'miniScrollerHorizontal:' true #'miniScrollerVertical:' true + #'useIndex:' false + #'sequenceList:' #listChannel ) ) ) + #'handles:' #(#Any 0.5 1.0) ) ) ) @@ -434,19 +437,6 @@ builder aspectAt:#listModel put:holder. ]. ^ holder -! - -selectionListModel - "automatically generated by UIPainter ..." - - |holder| - - (holder := builder bindingAt:#selectionListModel) isNil ifTrue:[ - builder aspectAt:#selectionListModel put:(holder := SelectionInList new). - holder listHolder:(self listChannel). - holder selectionIndexHolder:(self listModel). - ]. - ^ holder ! ! !UIHelpTool methodsFor:'initialization'!