I switched over to another computer and always use the debug console flag for switching over to the command line. But on this computer the letters are very tiny and the regular ways on selecting larger font sizes do not work. Setfont for example could not be found.
Does anyone know how to get a larger font in the debugging console?