Skip to content

update decorations when clearing search fix #6498#6511

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom siemens:fix-clear-searchNov 8, 2019

Commits

Commits on Nov 7, 2019