Thanks for the report, I can reproduce it.
Undo and redo put back the saved lines as they were, and skip the
update of the continuation flags on the lines around them. In your
steps the property is added after the change was saved, so the flag
on line 3 is left as it was. The same happens with "end" when the
property ends on the deleted line.
I made #21366 for this. Note that with this PR an undo after the
redo gives two properties, one on line 2 and one on line 3, where
there was one before. The flag on line 3 is outside of what the
undo puts back, so it cannot be restored.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS and Android. Download it today!
You are receiving this because you are subscribed to this thread.![]()