Skip to content

Save changes before closing interaction.#12166

Merged
msujew merged 1 commit intoeclipse-theia:masterfrom emilhammarstedtst:pr/save-changes-on-quitFeb 23, 2023

Commits

Commits on Feb 20, 2023