Luuk van Baal 012db2b0f5 fix(marks): revalidate marks whose position did not change ...

Problem:  Marks whose position did not change with the action that
          invalidated them (right_gravity = false) are not revalidated
          upon undo.
Solution: Remove early return when restoring a marks saved position so
          that it is still revalidated. Add "move" guards instead.

2024-07-20 14:52:39 +02:00

68 KiB

Raw Blame History

View Raw