-
Jimmy Aguilar Mena authored
The face used in extend_face_to_end_of_line is not the same than in the text before anymore. The display engine uses the :extend parameter in the faces to conditionally merge and create a new id if needed.
28655de4
The face used in extend_face_to_end_of_line is not the same than in the text before anymore. The display engine uses the :extend parameter in the faces to conditionally merge and create a new id if needed.