open-editors: better styling and visible decorations#12598

Merged

vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom vladarama:gh-10821-open-editors-styling

Jun 15, 2023

Commits on Jun 7, 2023

open-editors: better styling and decorations
Vlad Arama
committed