Top theia issues

Make it easier to specify the port Theia runs on

question
jgbradley1 picture jgbradley1·13 Aug 2018·2 Comments

Changing the color theme is slow

help wanted terminal
akosyakov picture akosyakov·3 Aug 2018·10 Comments

How to connect browser and Node.js?

question
jeanlucburot picture jeanlucburot·23 Jul 2018·3 Comments

Create Elements using React

question
jeanlucburot picture jeanlucburot·17 Jul 2018·5 Comments

Error downloading Java language server

bug java
jeanlucburot picture jeanlucburot·4 Jul 2018·12 Comments

Opening a JSON file in Theia marks the editor dirty

bug
kittaakos picture kittaakos·28 Jun 2018·9 Comments

Open files view by default?

question
travis1111 picture travis1111·31 May 2018·7 Comments

Close "Git Blame annotation" without closing the editor does not exist

git question
lmcbout picture lmcbout·24 May 2018·7 Comments

[Question] How to download files from develop workspace?

question
huyuwen picture huyuwen·9 May 2018·5 Comments

Question: Is there a reason why Theia's npm package packs its `.ts` source files ?

question
marechal-p picture marechal-p·4 May 2018·4 Comments
 Previous issues
Next issues