We don't need to reload everything every time, only the defaults provider
for color scheme etc.