Are libX11-devel, libxkbfile-devel, libsecret, libsecret-devel needed only at build time?
|
|
3
|
92
|
14 December 2022
|
Progress Bar for Code Gen
|
|
5
|
145
|
13 December 2022
|
Word Wrap for Text Editors
|
|
2
|
105
|
12 December 2022
|
Is there any way to use DebugEditor in theia?
|
|
2
|
72
|
12 December 2022
|
Theia Extensions and Plugins
|
|
1
|
128
|
9 December 2022
|
Failed to resolve module after rename root Folder
|
|
3
|
104
|
9 December 2022
|
TreeEditor Extension Problem
|
|
3
|
84
|
9 December 2022
|
How to lunch the theia and then open different projects according to a param
|
|
4
|
122
|
8 December 2022
|
Can we encrypt the web url in theia?
|
|
1
|
85
|
8 December 2022
|
Eclipse Theia v1.32.0 Release
|
|
3
|
125
|
7 December 2022
|
Codelens using theia extension
|
|
1
|
116
|
7 December 2022
|
Add Codelens using theia extension
|
|
3
|
328
|
7 December 2022
|
Workspace rename
|
|
2
|
73
|
7 December 2022
|
Editing files in zip bundle
|
|
0
|
70
|
6 December 2022
|
Remove hyperlink to vscode source control page
|
|
5
|
93
|
6 December 2022
|
How to add or change the source condicon for theia?
|
|
4
|
105
|
5 December 2022
|
How to develop a backend service in C++
|
|
8
|
180
|
5 December 2022
|
Electron start error
|
|
7
|
2279
|
2 December 2022
|
Split panel maximum limit
|
|
2
|
64
|
2 December 2022
|
Command handler results in Could not start contribution TypeError: Cannot read properties of undefined (reading 'resolved')
|
|
4
|
83
|
2 December 2022
|
Theia metrics extension monitors metrics only related to back-end node.js process?
|
|
0
|
60
|
30 November 2022
|
Using vscode:extension/MS-SarifVSCode.sarif-viewer in local docker fails
|
|
58
|
841
|
28 November 2022
|
How to show labels to Sprotty-edge?
|
|
1
|
60
|
25 November 2022
|
A Thank You note and a question
|
|
0
|
111
|
24 November 2022
|
How can I prevent certain widgets from being loaded by default at startup?
|
|
5
|
495
|
24 November 2022
|
Register for TheiaCon 2022 now! (Nov 30 - Dec 1)
|
|
3
|
62
|
20 December 2022
|
Lib/browser and src/browser
|
|
2
|
81
|
23 November 2022
|
Chrome vs Firefox
|
|
2
|
72
|
23 November 2022
|
Theia "plugins"
|
|
9
|
77
|
23 November 2022
|
Example package.json has download issues
|
|
5
|
126
|
23 November 2022
|