Separate Console and Editor font sizes!

[shiffman]

Hi hi! Following up on discussion in #468

Nature of issue?

• New feature request! Related to font size settings!

New feature details:

I often use a really big font in the code editor while teaching but would like to have a smaller console font so that I can see the errors in such a small space. I'm not sure if this is something others would be interested in but being able to set both font sizes independently would be great for me!

Here's an image for reference!

[anderoonies]

I’d be happy to take a look at this!

[anderoonies]

Opinions on the shape of font size?

{
  fontSize: {
    editor: number,
    console: number
  }
}

or

{
  editorFontSize: number,
  consoleFontSize: number
}

?

The former should be simpler to set up actions and reducer but might be more surface area for consuming state