provide the ability to edit theme settings in the json editor, and also copy them as a text file so they can be pasted into another instance. Reference: /t/65023
