Top theia issues

General purpose progress monitor extension

JPinkney picture JPinkney·6 Jul 2018·20 Comments
❤1 👍1

Optimize usage of web sockets

enhancement
akosyakov picture akosyakov·9 Apr 2018·11 Comments

[websocket] Implement ping/pong for maintaining websockets through proxies.

Zate picture Zate·28 Feb 2018·20 Comments

Crash of the LanguageServer in the Julia VS code extension

docker help wanted vscode
ffevotte picture ffevotte·4 Sep 2020·7 Comments

Timeline API

scm vscode
sh7dm picture sh7dm·15 Apr 2020·9 Comments

Python VS extension: debug fails when Debug console is already opened

bug help wanted python vscode
Beetix picture Beetix·12 Feb 2020·11 Comments

[plugins] reference multiple plugin directories when using the cli argument

enhancement help wanted plug-in system
sinamoeini picture sinamoeini·29 Jan 2020·9 Comments

eslint: use vscode extension compatible with Theia

help wanted linting
marechal-p picture marechal-p·28 Jan 2020·9 Comments

[vscode][webview] can't copy content from webview use Ctrl + C

needs more info browsechrome bug help wanted vscode webviews
502647092 picture 502647092·19 Sep 2019·12 Comments
❤1

"Undeploy" plugin

enhancement help wanted plug-in system
amiramw picture amiramw·18 Jun 2019·8 Comments
👍4
 Previous issues
Next issues