a tool to control theming settings for different applications/DEs