custom-editor: fix closing dirty custom text editor issue#11593
Merged
vince-fugnitto merged 8 commits intoeclipse-theia:master from safisa:safi_fixClosingDirtyCustomTextEditorIssueSep 19, 2022
+23-5
Commits
Commits on Aug 22, 2022
- committed
- committed
- committed
Commits on Aug 24, 2022
Commits on Aug 25, 2022
Commits on Aug 30, 2022
Commits on Sep 15, 2022
- authored