eclipse-theia/theia
`ThemeService.getTheme(themeId)` should return undefined not default theme if a theme cannot be found
オープン
#8,407 opened on 2020/08/20
help wantedquality
Repository metrics
- Stars
- (18,676 個のスター)
- PR merge metrics
- (平均マージ 15d 4h) (30d で 75 merged PRs)
説明
この Issue には説明がありません。