git close diff on operation

This commit is contained in:
Jörn-Michael Miehe 2022-03-26 16:05:36 +00:00
parent 972359cb49
commit b5e9323026

View file

@ -11,5 +11,6 @@
"editor.formatOnSave": true, "editor.formatOnSave": true,
"editor.codeActionsOnSave": { "editor.codeActionsOnSave": {
"source.organizeImports": true "source.organizeImports": true
} },
"git.closeDiffOnOperation": true
} }