(text_property_list): New.
(add_text_properties_from_list): New. (extend_property_ranges): New. (validate_interval_range): Make it externally visible.
Showing
Please register or sign in to comment
(add_text_properties_from_list): New. (extend_property_ranges): New. (validate_interval_range): Make it externally visible.