append `set_line_ending` to document history (#2649)

pull/2650/head
Kirawi 3 years ago committed by GitHub
parent f7c27b604f
commit 4f3d0a7706
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -376,6 +376,7 @@ fn set_line_ending(
}), }),
); );
doc.apply(&transaction, view.id); doc.apply(&transaction, view.id);
doc.append_changes_to_history(view.id);
Ok(()) Ok(())
} }

Loading…
Cancel
Save