Allow to change the font size and font of the workbench

[hsdk123]

At the moment, we can only change the font size / font of the editor. If we want to change the font size, we need to use a roundabout method of "zooming in / out". It would be nice if this could be adjusted through the preferences.

[skube]

Further to this, it seems weird that if I want larger fonts outside of the editor I have to zoom in each time I restart.

[egamma]

pls see #291 for the zooming issue (in general pls do not create combo issues 😄 )

[conceptualspace]

+1

v1.4.0 seemed to make the file explorer fonts larger/bolder, making it harder to traverse a large directory