|
Jupyter, FS API, Python Extension
|
|
3
|
14
|
15 August 2020
|
|
Open Multiple folders as root folders in file view
|
|
8
|
17
|
14 August 2020
|
|
Theia process environment variables
|
|
12
|
29
|
14 August 2020
|
|
JSP development using Theia
|
|
3
|
11
|
14 August 2020
|
|
How are most developers using Theia?
|
|
2
|
21
|
13 August 2020
|
|
Prevent code editing for specific file extension
|
|
14
|
81
|
13 August 2020
|
|
How theia extensions mechanism work?
|
|
2
|
15
|
13 August 2020
|
|
How do I build a docker image with my unpublished extension?
|
|
15
|
42
|
13 August 2020
|
|
Calling Plugin API methods from an extension
|
|
3
|
36
|
13 August 2020
|
|
Registering a service worker from a view fails
|
|
5
|
67
|
13 August 2020
|
|
Can i block some files which i don't want the user open?
|
|
7
|
33
|
11 August 2020
|
|
showOpendialog with canSelectFiles = false, still shows files
|
|
2
|
14
|
11 August 2020
|
|
Hosted plugin instance opens in a new tab each time
|
|
1
|
26
|
9 August 2020
|
|
Branding icon on top
|
|
1
|
34
|
7 August 2020
|
|
revealInExplorer command
|
|
5
|
39
|
7 August 2020
|
|
Call plugin api method from extension
|
|
21
|
37
|
6 August 2020
|
|
Toolbar Toggle/Checkbox Button
|
|
7
|
42
|
5 August 2020
|
|
How can I attach a context menu to a TreeWidget derived widget?
|
|
3
|
23
|
5 August 2020
|
|
Unable to post message from widget to parent after refresh
|
|
3
|
37
|
4 August 2020
|
|
URL API to open files
|
|
3
|
24
|
3 August 2020
|
|
Announcement: Drop Support for Node 10
|
|
3
|
39
|
3 August 2020
|
|
Theia release 1.4.0
|
|
6
|
130
|
1 August 2020
|
|
View Contribution class hierarchy
|
|
5
|
79
|
31 July 2020
|
|
Remove some widgets from the IDE like explorer, search etc
|
|
16
|
61
|
30 July 2020
|
|
Content of a widget should not be refreshed
|
|
3
|
60
|
29 July 2020
|
|
How to disable open new terminal command from quick open widget?
|
|
11
|
51
|
29 July 2020
|
|
Outline View Extension
|
|
4
|
75
|
28 July 2020
|
|
Minifying Theia build
|
|
9
|
113
|
28 July 2020
|
|
Unexpected refresh of a webview
|
|
9
|
70
|
28 July 2020
|
|
Can commandRegistry.executeCommand return a value?
|
|
3
|
31
|
27 July 2020
|
