Added modifiable Font for the Editor. Font can be adjusted in it's own
dialog, which is reached through the options.