Move "change font" into settings dialog

[buhtz]

The "Edit" menu has two entries to change the font of the editor and the live preview.

I would recommend to move that settings into the settings dialog.

These entries are not about editing itself.
The Edit menu is still quite long.
And the settings dialog (application settings) is the location where most users would expect that setting.