eclipse-theia/theia

`ThemeService.getTheme(themeId)` should return undefined not default theme if a theme cannot be found

Open

#8,407 opened on Aug 20, 2020

View on GitHub
 (3 comments) (0 reactions) (0 assignees)TypeScript (2,478 forks)batch import
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.

Contributor guide