gui: Create (unfinished) preferences dialogue and get fonts from there

Also random work on the source view.