Spectrum is now read-only. Learn more about the decision in our official announcement.


Eclipse Theia - Cloud & Desktop IDE


if I want add more extensions, what should I do?

April 1, 2020 at 7:05am

if I want add more extensions, what should I do?

April 1, 2020 at 7:05am
when I use yo theia-extension to create Hello World extension,but If i want add another extension in it, what should I do? I try add another folder of extension to it, but when run yarn prepare in browser app folder, it occurs the error:
Failed to resolve module: theia-hello-world-extension-second

April 1, 2020 at 8:36am
You should wire it as yarn workspace, i.e. add in root package.json under workspaces and then as a dependency to your app.
Don't forget to declare extension entry points in package.json, implement and compile them.
Thx, if I want modify layout of explorer to BottomPanel's layout, what should I do?now the layout:from top to bottom, I want from left to right?
FileNavigatorContribution.opeView({ area: 'bottom' })
You can also rebind FileNavigatorContribution to custom subclass and override initializeLayout with this.openView({ area: 'bottom' });
If I want modify EXPLORER_VIEW_CONTAINER_ID of viewContainer layout, How to do?

April 2, 2020 at 6:47am
What is the motivation? = 'myId'
but I'm not sure that it won't break anything, there can be css classes depend on it and some code looking for such widget, hope not