()
| 13 | return themeManager.getActiveTheme().colors.type; |
| 14 | }, |
| 15 | get Foreground() { |
| 16 | return themeManager.getActiveTheme().colors.Foreground; |
| 17 | }, |
| 18 | get Background() { |
| 19 | return themeManager.getActiveTheme().colors.Background; |
| 20 | }, |
nothing calls this directly
no test coverage detected