PyDev

[Mailaender]

Many people here including myself struggle with the @microsoft Python extensions. Note that there is https://www.pydev.org/vscode/ now, which is a backport from the @eclipse IDE plug-in project, and it works like a charm in Theia!