Top theia issues

[editor] [typescript] block comments not properly displayed for multiple lines

editor help wanted textmate
vince-fugnitto picture vince-fugnitto·23 May 2019·5 Comments

"Browser Preview for VS Code" VSCode extension not working in Theia

bug plug-in system vscode
jbenguira picture jbenguira·21 Apr 2019·6 Comments

Java Language Plugin

tsmaeder picture tsmaeder·7 Dec 2018·4 Comments

[editor] Format the text on saved.

lmcbout picture lmcbout·30 Oct 2018·6 Comments

Support debugging with GDB

cpp debug
MarkZ3 picture MarkZ3·5 Sep 2018·10 Comments

Plug-in System

Che-Editors epic plug-in system
benoitf picture benoitf·12 Mar 2018·17 Comments
👍1

[notification] Revise integration of user messages

enhancement notifications
AlexTugarev picture AlexTugarev·22 Feb 2018·7 Comments
❤3 🎉2

Installers for all major operating systems

koegel picture koegel·3 Nov 2020·13 Comments
👍4

[preferences] Add ability to set default formatter

editor help wanted preferences vscode
danieltomasku picture danieltomasku·11 Aug 2020·2 Comments

bug: error thrown when changing themes without a 'settings.json'

bug filesystem preferences
vince-fugnitto picture vince-fugnitto·4 Aug 2020·6 Comments
 Previous issues
Next issues