git ignore: save after apply edit

2018-12-20 11:33:01 +01:00 · 2018-12-20 11:33:01 +01:00 · cdb8a86fd0
parent 5adc152eca
commit cdb8a86fd0
1 changed files with 2 additions and 1 deletions
--- a/extensions/git/src/repository.ts
+++ b/extensions/git/src/repository.ts
@ -1102,7 +1102,8 @@ export class Repository implements Disposable {
 			const text = lastLine.isEmptyOrWhitespace ? `${textToAppend}\n` : `\n${textToAppend}\n`;

 			edit.insert(document.uri, lastLine.range.end, text);
-			workspace.applyEdit(edit);
+			await workspace.applyEdit(edit);
+			await document.save();
 		});
 	}