ui/ux: fix bug induced by PR #12604#12622
Merged
vince-fugnitto merged 9 commits intoeclipse-theia:masterfrom vladarama:gh-10855-vsx-stylingJun 14, 2023
+1-1
Commits
Commits on Jun 7, 2023
Commits on Jun 9, 2023
- committed
- authored
- committed
Merge branch 'eclipse-theiagh-10855-vsx-styling' of https://github.com/vladarama/theia into eclipse-theiagh-10855-vsx-styling
committed