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