Fixed #1278: implemented tab bar decorator & supported error marker in editor tabs#5845

Merged

vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom fangnx:fnx-fix-1278

Aug 22, 2019

+821-423

Commits on Aug 22, 2019

Fixed eclipse-theia#1278 : implemented tab bar decorator & supported error marker in editor tabs
fangnx
committed