Changing the font size in terminal wiget

Ideas Widgets Ideas
1

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

1 Like
2

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