Dear folks, since some time I noticed that the initial graphical console has small letters but is later reset to big letters again. Is this intentional? How can I preserve the smaller font? The 80x25 (or x31?) is quite huge on this monitor and I really liked the smaller fonts!
Could switching to the big fonts be an option? With regards, Reinoud