|
Disable downloading the project from Theia
|
|
3
|
28
|
9 June 2020
|
|
Licence limits
|
|
7
|
44
|
9 June 2020
|
|
No diagram shows on theia
|
|
3
|
25
|
9 June 2020
|
|
Docker in theia
|
|
3
|
41
|
9 June 2020
|
|
Is there any plugin/extension in theia for getting monitoring metrics?
|
|
3
|
19
|
8 June 2020
|
|
Where is the local storage folder for theia's vscode plugins
|
|
4
|
23
|
8 June 2020
|
|
Can i disable some menu?
|
|
2
|
30
|
8 June 2020
|
|
Is Theia exactly an IDE?
|
|
3
|
70
|
8 June 2020
|
|
VR support
|
|
5
|
26
|
8 June 2020
|
|
Is it possible to have multiple private workspace on single host?
|
|
4
|
22
|
6 June 2020
|
|
How to resolve environment variables in a launch.json configuration?
|
|
9
|
15
|
5 June 2020
|
|
Closing open workspace & folders
|
|
7
|
15
|
5 June 2020
|
|
Block UI, until Backend is launched completely
|
|
3
|
16
|
5 June 2020
|
|
Remove 'Enter' KeyListener on Dialog which extends AbstractDialog
|
|
5
|
14
|
5 June 2020
|
|
Installing Theia
|
|
6
|
46
|
4 June 2020
|
|
Long running task
|
|
6
|
18
|
4 June 2020
|
|
Menu contributions depending on the backend
|
|
10
|
22
|
3 June 2020
|
|
Java Language support issue
|
|
2
|
18
|
3 June 2020
|
|
How to show Git output in output view?
|
|
11
|
13
|
3 June 2020
|
|
Can i put some Doms (such as buttons and hyperlinks) in the message panel?
|
|
4
|
17
|
2 June 2020
|
|
Language server can't gradlew build success
|
|
8
|
20
|
2 June 2020
|
|
Any breaking changes made recently to Webview?
|
|
13
|
14
|
2 June 2020
|
|
Can I set a fixed root path to the Open Workspace widget?
|
|
2
|
8
|
1 June 2020
|
|
Plugins published to open-vsx.org by open-vsx account automatically
|
|
3
|
10
|
29 May 2020
|
|
Release Theia 1.2.0
|
|
3
|
17
|
28 May 2020
|
|
Get Error With KeyboardLayoutProvider not loading on Chrome with Mac
|
|
11
|
20
|
28 May 2020
|
|
When I build my language server, I got this problem:
|
|
5
|
20
|
28 May 2020
|
|
TaskProvider custom type
|
|
9
|
16
|
27 May 2020
|
|
Multi-root workspaces: How to spawn one LS per root?
|
|
13
|
27
|
27 May 2020
|
|
Any guidance?
|
|
5
|
19
|
26 May 2020
|
