Speed up and simplify config file reloading

Changing the font size can sometimes be slow because of time spent triggering many events while reloading the config file. This speeds it up.

It used to be necessary to individually set each 'leaf' value in the user's config, to trigger the right events. Now we don't need to do that; event listeners take care of checking for changes in the observed key paths.