Clear history after a change

pull/13731/head
piotrkwarcinski 2025-06-10 01:22:06 +02:00
parent 6f49ff2229
commit c0f8e18437
1 changed files with 3 additions and 0 deletions

View File

@ -1468,6 +1468,9 @@ impl Document {
.ensure_invariants(self.text.slice(..)); .ensure_invariants(self.text.slice(..));
} }
// Reset the selection history after any change
self.selections_history.clear();
for view_data in self.view_data.values_mut() { for view_data in self.view_data.values_mut() {
view_data.view_position.anchor = transaction view_data.view_position.anchor = transaction
.changes() .changes()