UI inconsistency

in the designer, if you select a property, then open the property editor,
if you ‘cancel’ the editor the property remains selected, if you ‘ok’ the editor, the property is unselected.

Thanks for catching that, I’ll make a ticket for it.

7.6?

This is done for 7.5.2