Changing the font size in terminal wiget

Is it possible to add Change font size to terminal wiget?

1 Like

I, too, would like the font to be fixed spacing and closer between lines so as to get more lines displayed!