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

[Bret Busby]

On 2/5/23 02:15, M. Fioretti wrote:
> 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
> 
> 


In going into a terminal, using the GUI terminal emulator (Mater 
terminal, as IO previously mentioned), in the drop down menu's, 
Terminal, at the bottom, has differing resolutions, and, Edit -> Profile 
Preferences -General has, at the bottom of the window tab, the option 
"Use custom default terminal size", in which, you can set the number of 
columns and rows.

Does that achieve what you want?

..
Bret Busby
Armadale
West Australia
(UTC+0800)
..............