plugin: Add support for activeColorTheme
and onDidChangeActiveColorTheme
API#8710
Merged
vince-fugnitto merged 1 commit intoeclipse-theia:master from DucNgn:dn/addActiveThemeApiNov 10, 2020
+187-4