fix: Cannot quit app when there is a dirty editor (#13164)#13173

tsmaeder merged 1 commit intoeclipse-theia:mastereclipse-theia/theia:masterfrom

emilhammarstedtst:pr/cannot-quit-app-when-dirty-editoremilhammarstedtst/theia:pr/cannot-quit-app-when-dirty-editorCopy head branch name to clipboard