Skip to content

Style: close icon highlights on tab hover#12806

Merged
msujew merged 1 commit intoeclipse-theia:masterfrom FernandoAscencio:fa/onhoverTabHighlightsAug 17, 2023

Commits

Commits on Aug 7, 2023