|
How to get current chosen file uri in new extension?
|
|
6
|
44
|
10 July 2020
|
|
Can i register a toolbar item which can open a widget in the main area?
|
|
4
|
9
|
10 July 2020
|
|
Can i register menus in the Explorer Navigator?
|
|
3
|
9
|
10 July 2020
|
|
Add branding icon
|
|
19
|
58
|
8 July 2020
|
|
Theia app stuck on loading animation after fresh vanilla build
|
|
14
|
47
|
8 July 2020
|
|
Virtual file system in browser?
|
|
4
|
56
|
7 July 2020
|
|
Dock widget to a SidePanel
|
|
2
|
55
|
19 June 2020
|
|
How to set minimum width of widget and not allow resizing below that width
|
|
4
|
31
|
22 April 2020
|
|
Theia build on Raspbian hangs at `DeprecationWarning: Tapable.apply...`
|
|
20
|
95
|
6 July 2020
|
|
Outline View Extension
|
|
1
|
18
|
5 July 2020
|
|
Cannot find module '../lib/theia'
|
|
3
|
38
|
4 July 2020
|
|
What are my options for building REPL on Theia?
|
|
2
|
24
|
4 July 2020
|
|
How to create and add extension to theia IDE?
|
|
17
|
77
|
2 July 2020
|
|
Editor features not available
|
|
6
|
51
|
29 June 2020
|
|
Hidden settings
|
|
4
|
27
|
29 June 2020
|
|
Run Theia Application as non-root User
|
|
8
|
61
|
25 June 2020
|
|
Theia release 1.3.0
|
|
3
|
76
|
25 June 2020
|
|
Node debug built-in plugins
|
|
5
|
42
|
25 June 2020
|
|
Too many open PR's exception
|
|
1
|
38
|
23 June 2020
|
|
Content of a widget should not be refreshed
|
|
2
|
22
|
23 June 2020
|
|
SModelRoot is empty in CommandExecutionContext
|
|
1
|
25
|
20 June 2020
|
|
Get debug start notification in extension backend
|
|
4
|
32
|
19 June 2020
|
|
How to mark all unread topcis as read?
|
|
4
|
47
|
15 June 2020
|
|
Vue.js or Angular app run in minibrowser
|
|
4
|
69
|
15 June 2020
|
|
Getting errors with Python extension
|
|
3
|
63
|
12 June 2020
|
|
On theia, we have some problems about sprotty
|
|
5
|
41
|
11 June 2020
|
|
Is there any user manual or tutorial on using Theia?
|
|
4
|
75
|
10 June 2020
|
|
Changed config object in resolveDebugConfiguration()
|
|
4
|
24
|
10 June 2020
|
|
VScode Extension containing webview could not connect to REST service
|
|
5
|
22
|
10 June 2020
|
|
Get offline notification
|
|
20
|
47
|
10 June 2020
|
