Closed lucas-koehler closed 1 year ago
This - together with an earlier update of the tree editor itself - should fix https://github.com/eclipse-theia/generator-theia-extension/issues/157
This - together with an earlier update of the tree editor itself - should fix https://github.com/eclipse-theia/generator-theia-extension/issues/157