I forgot one thing, re: refresh needed to run Ubuntu 22.04 in high-res terminal mode

[M. Fioretti]

On Tue, May 02, 2023 02:09:01 AM +0800, Bret Busby wrote:

> Or, do you mean going to <ALT><F1> ?

THIS, "going to ALT+F1", and have THAT console at high resolution,
with mouse usable etc.. as in my other messages.

Now that you ask, even if it was not in my mind, I realize that even a
refresher on how to increase terminal resolution while in GUI mode
would not hurt...

Thanks,
Marco