Save an undo checkpoint before accepting completion (#7747)

This commit is contained in:
Michael Davis 2023-07-26 21:48:16 -05:00 committed by GitHub
parent dea6894f92
commit 6a431afc4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -292,6 +292,8 @@ macro_rules! language_server {
};
// if more text was entered, remove it
doc.restore(view, &savepoint, true);
// save an undo checkpoint before the completion
doc.append_changes_to_history(view);
let transaction = item_to_transaction(
doc,
view.id,