[Feature]: Make terminal font (face / size) configurable. #4933

Before submitting

• I searched existing issues and did not find a duplicate.
• I am describing a concrete problem or use case, not just a vague idea.

Area

apps/desktop

Problem or use case

Many developers use nerd fonts for their terminal to display symbols and icons. The terminal which is part of the T3 code editor does not support this.

Proposed solution

Allow user to set a custom font face and size for the terminal in the T3 code editor.

Why this matters

This will make working in the T3 code editor's terminal much more efficient.

Smallest useful scope

Just add a setting to select terminal font family and size.

Alternatives considered

none.

Risks or tradeoffs

none.

Examples or references

No response

Contribution

• I would be open to helping implement this.