text_properties : store char_property by value