add a pref for the editor font size
remove user.json
review comments
tweaks
Merge pull request #1835 from devoncarew/devoncarew_font_sizes

add a pref for the editor font size