--- 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'!