The topic ‘Is it possible to change the font used by the default editor?’ is closed to new replies.