Separate font settings for the terminal #40
Description
Allow changing the font settings for the terminal output text only (size and font family) - suggested monospaced fonts are fira coda and the classic consolas
{{ message }}
Allow changing the font settings for the terminal output text only (size and font family) - suggested monospaced fonts are fira coda and the classic consolas