Layout::dup does not copy properties

[rizoschrist]

The following code does not work (KLayout v0.27.7):

layout = pya.Layout()
layout.set_property("key", "value")
layout_dup = layout.dup()
layout_dup.property("key") # returns None

[klayoutmatthias]

Again, please check with the latest version which is 0.28.12.

[klayoutmatthias]

Reproducible on 0.28.12 and fixed.

I'd appreciate if you confirm that a problem exists on the latest version.

[rizoschrist]

I can verify resolution in v0.28.13