Allows you to change the font in editors like StringWriter.