Copy constructor for PropertySet?

Is there any good reason not to provide a copy constructor for PropertySet? It is just a wrapper over StringArray, which has a copy constructor, so it should be easy to add one. It is sometimes useful to keep a snapshot of some properties at a given time.

Yes, you’re quite right - there’s no reason not to have one, I’ll get that sorted shortly.