[GUI] allow the user to change the font of the main editing area (issue #75)