Closed vince-fugnitto closed 2 years ago
Description
The tree-editor template needs to be fixed as it makes use of some deprecated APIs and imports that were removed by https://github.com/eclipse-theia/theia/pull/11176.
tree-editor
Description
The
tree-editor
template needs to be fixed as it makes use of some deprecated APIs and imports that were removed by https://github.com/eclipse-theia/theia/pull/11176.