search

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
19.86k stars 2.48k forks source link

[plugin] align plugin types with vscode ext types #6600

Open akosyakov opened 4 years ago

akosyakov commented 4 years ago

There are different mismatches, e.g. https://github.com/eclipse-theia/theia/issues/6578#issuecomment-557092619 or another case that identity of breakpoints is not preserved which should be fixed by https://github.com/eclipse-theia/theia/pull/5774.

We should align and ideally find a way to identify mismatches easier. One proposal is completely reuse the extension host process https://github.com/eclipse-theia/theia/issues/6353 and put our bits somehow on top.

Any other ideas are welcomed!

akosyakov commented 4 years ago

Another case of it: https://github.com/eclipse-theia/theia/issues/6895