How to increase/decrease size of font in terminal?

[danieltomasz]

The standrad way (-/+) which I could use for zooming in main window of Spyder editor doesn't work.
Also changing font size in General spyder preferences doesn't seem to influence terminal.

[ccordoba12]

I think this has not been implemented, sorry.

[goanpeca]

Maybe we could add this on the right click as some other plugins do?

I guess the Ctrl++/- should also work 🤷

What do you think about this @steff456?

[paraschakis]

That would be super-nice, thank you in advance! My eyes hurt :)

[ccordoba12]

@steff456, does xterm.js have an option to do this?

[steff456]

This feature is difficult to adjust, because it also changes the font size and the terminal size. Right now, this option is not available. I guess we could add the option for the users to set the font size themselves.

[ccordoba12]

I guess we could add the option for the users to set the font size themselves.

Agreed. Please go ahead with this @steff456.