eclipse-theia/theia
View on GitHub`ThemeService.getTheme(themeId)` should return undefined not default theme if a theme cannot be found
Open
#8,407 opened on Aug 20, 2020
help wantedquality
Repository metrics
- Stars
- (18,676 stars)
- PR merge metrics
- (Avg merge 15d 4h) (75 merged PRs in 30d)
Description
This issue does not include a description.