Skip to content

preferences: Support 'Close On File Delete' preference#8731

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom DucNgn:dn/stopWidgetsCloseDec 1, 2020
+36-8

Commits

Commits on Dec 1, 2020