Implements console font size (#4411)

[kylebutts]

• Implement console font settings (Provide separate setting for Console font size #4411)

Release Notes

New Features

• Add configuration settings to change the font of the Console. Previously, the editor font settings were used.

Bug Fixes

• N/A

QA Notes

I tested this in a debug build of Positron

[juliasilge]

Thank you so much for this PR, @kylebutts! We so appreciate your willingness to get into the details here 🙌

Currently the console font is based on the font from the editor and not the font from the terminal; the console itself is actually a teeny tiny editor! To implement #4411, we would want to create a parallel set of configuration options that match how the editor font is defaulted and configured, but for the console. Basing on the terminal font (and falling back to that) is not the approach we would want to take.

I'm sorry that we can't move forward with this PR, and again, I want to say a huge thank you for your contributions so far. We would be happy to review and accept a PR taking that alternative approach, although no rush on that because we are approaching when we will branch for our next release https://github.com/posit-dev/positron/milestone/23, which will be the first non-beta release for Positron! 🎉

If you were interested in contributing a different PR for this, we would be able to review it starting the week of June 30.

[kylebutts]

I have pushed changes that use editor settings as default! No rush on this; good luck with the final push for non-beta release!!