(text_property_list, verify_interval_modification, interval_has_all_properties): Ditto.
Attach a file by drag & drop or click to upload