[update 1.3] #13133

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.