*many* years, so the property browser always leaked memory. I activated
this line in property_list.cxx and ... got a crash right there. So this
was the reason for it being commented out? Doing the same for now, until
I know the exact reason and can really fix it.
PropertyList::~PropertyList()
{
- delete_arrays();
+ // FIXME this seems to cause a crash, which is probably why
+ // commented out in prop_picker.cxx since many years
+ //delete_arrays();
}