selectable text in labels of PropertyEditor