|
Preview highlight help
|
|
2
|
36
|
17 December 2020
|
|
Disable some menu item
|
|
5
|
74
|
17 December 2020
|
|
Eclipse Theia v1.9.0 Release
|
|
6
|
130
|
16 December 2020
|
|
How to disable edit some files, such as lib.d.ts
|
|
3
|
55
|
16 December 2020
|
|
Block open workspace menu
|
|
2
|
60
|
16 December 2020
|
|
Not sure how to start a Theia project
|
|
3
|
60
|
15 December 2020
|
|
Reopen last closed file, copy path, copy name
|
|
10
|
60
|
14 December 2020
|
|
Integrate VSCode Extension C/C++ Clang Command Adapter
|
|
3
|
87
|
13 December 2020
|
|
Javascript linting options?
|
|
4
|
42
|
13 December 2020
|
|
Recommend way to patch @theia module typescript files
|
|
7
|
72
|
12 December 2020
|
|
Can you integrate a react component or app with redux-saga and redux
|
|
1
|
87
|
12 December 2020
|
|
Using Theia without websockets support
|
|
7
|
67
|
10 December 2020
|
|
Eclipse Theia V1.8.1 Patch Released
|
|
2
|
61
|
8 December 2020
|
|
Failed to thiea rebuild:electron
|
|
3
|
73
|
8 December 2020
|
|
Inline item renaming in TreeWidget
|
|
4
|
52
|
8 December 2020
|
|
Is it possible to use a newer version of FontAwesome?
|
|
2
|
66
|
3 December 2020
|
|
How can I create multiple instances of the same widget view?
|
|
2
|
97
|
3 December 2020
|
|
How can I create widgets with dynamic id's?
|
|
4
|
80
|
3 December 2020
|
|
Code syntax checking
|
|
3
|
59
|
3 December 2020
|
|
hello,I wanna disable and enable items in menu dynamic,how to achive it
|
|
6
|
108
|
2 December 2020
|
|
How can I enable javascript linting?
|
|
2
|
57
|
1 December 2020
|
|
The watch parameter is not valid when developing node extensions
|
|
3
|
54
|
30 November 2020
|
|
Plugins - Can't find 'Hosted Mode' / Hosted: Plugin - Option in (F1) Menu
|
|
10
|
69
|
28 November 2020
|
|
Failed to resolve module: filenamify
|
|
3
|
313
|
27 November 2020
|
|
Cannot create file or Directory on Theia
|
|
2
|
59
|
27 November 2020
|
|
Eclipse Theia v1.8.0 Release
|
|
5
|
89
|
26 November 2020
|
|
Reuse/customize theia diff view
|
|
5
|
104
|
26 November 2020
|
|
Error building docker image
|
|
5
|
146
|
26 November 2020
|
|
Could not unbind MonacoWorkspace
|
|
3
|
58
|
26 November 2020
|
|
What does `toDispose.push()` do?
|
|
3
|
63
|
25 November 2020
|
