font size at terminal window

[yogasukma]

Hi, thanks for your theme, it's look good on mine.

the only issue i see are the font size at terminal window, it's too big and didn;t follow font size preference i did.

left (text editor) are right font size from preferences, but right side (terminal window) are too big.

[jesusOmar]

@ysupr Since my theme is set to use the font at size 16, the terminal is also set at 16, if you modify the font size on the editor, you would also need to change the terminal aka "console font" size as well. Look for this setting inside Editor -> Colors & Fonts -> Console Font.

[yogasukma]

Ah, i really didn't know there is settings for 'console font',

thank you so much