insilmaril [Mon, 08 Dec 2008 16:57:33 +0000] rev 729
More fixes for selections
insilmaril [Tue, 04 Nov 2008 12:09:10 +0000] rev 728
Selections work (a little bit)
insilmaril [Wed, 29 Oct 2008 17:42:34 +0000] rev 727
subtrees can be deleted now
insilmaril [Mon, 06 Oct 2008 11:10:20 +0000] rev 726
Various fixes, also from 1.12. branch