Preferences dialog updates

Redesigned the global preferences (currently only the editor font), now
allows save/reset/apply/cancel.
This work isn't the optimal design just yet, evolving as I play with it
and understand what I really want from it.