Settings are now saved in JSON

Of the top-level widget