13133 ----- Issue 3955: Better implementation of the MorphTreeMorph auto select Issue 3956: Better implementation of the PluggableListMorphs auto select Issue 3964: Enabling double click on PluggableListMorphOfMany Issue 3105: DeepCopier warnIverNotCopiedIn:sel: dependent on ToolSet
-- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.
