Skip to content

Editor: restore highlightModifiedTabs functionality#12367

Merged
msujew merged 1 commit intoeclipse-theia:masterfrom FernandoAscencio:fa/restoreHighlightModifiedTabsApr 4, 2023
+39-9

Commits

Commits on Apr 3, 2023