Revision history  [back]

I've tagged this as a feature request since we'll need to try xfce4-terminal here and possibly fix any bugs. I don't think we'll get to this immediately, or possibly even soon. You should be able to set the default font size in gnome-terminal or any of the others in their prefs or possibly send --zoom=1.5 or similar on the command line to gnome-terminal by editing the Debugger > I/O > External Consoles command line.