Skip to content

GH-7103: API for removing toolbar item.#9044

Merged
paul-marechal merged 2 commits intoeclipse-theia:masterfrom kittaakos:gh-7103--unregister-toolbarMar 4, 2021

Commits

Commits on Feb 9, 2021