fix: file-saving dialog with dirty editors#12864

Merged

msujew merged 4 commits intoeclipse-theia:masterfrom vladarama:editor-closing

Oct 26, 2023

+6-2

Commits on Aug 25, 2023

fix file-saving dialog
Vlad Arama
committed

Commits on Oct 12, 2023

fix file-saving dialog

Vlad Arama
authored and
msujew
committed

Commits on Oct 25, 2023

fix failing tests
Vlad Arama
committed
Merge branch 'editor-closing' of https://github.com/vladarama/theia into editor-closing
Vlad Arama
committed