Top theia issues

How do I integrate "Theia+DSL" with Sprotty for visualization?

question
ShivaniBali picture ShivaniBali·29 Apr 2018·23 Comments

Open Theia to a specific folder?

question
jopit picture jopit·27 Feb 2018·45 Comments

[tree] RETURN should not expand nodes

bug tree
JanKoehnlein picture JanKoehnlein·26 Jan 2018·10 Comments
👍2

Embedding Theia on an existing page

question
tritao picture tritao·12 Jan 2018·13 Comments

how can I use it in a angular project?

question
linpengfei picture linpengfei·25 Dec 2017·4 Comments

Get rid of `chai-as-promised` and use `async`.

beginners good first issue help wanted
kittaakos picture kittaakos·1 Dec 2017·17 Comments
👍1

[git] Permission denied issues when executing `pull` and `push`

bug
kittaakos picture kittaakos·12 Oct 2017·22 Comments

[git] Support sign off option for commits

enhancement git help wanted
marcdumais-work picture marcdumais-work·12 Oct 2017·1 Comments

Discuss and declare the way how we handle transitive dependencies in Theia extension

extension system question
kittaakos picture kittaakos·22 Aug 2017·13 Comments
 Previous issues