Luuk van Baal c4f76299f0 fix(marks): skip right_gravity marks when deleting text ...

Problem:  Marks that are properly restored by the splice associated with
          an undo edit, are unnecessarily pushed to the undo header. This
          results in incorrect mark tracking in the "copy_only"
          save/restore completion path.
Solution: Avoid pushing left gravity marks at the beginning of the range,
          and right gravity marks at the end of the range to the undo
          header.

2024-12-06 11:57:07 +01:00

68 KiB

Raw Blame History

View Raw