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

[Bret Busby]

On 2/5/23 02:23, Bret Busby wrote:
> 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)
> ..............
> 
> 


Sorry about the typo's - they were missed by the spellchecker and the 
nut at the keyboard.

"Mater terminal, as IO previously mentioned"

should have been

"Mate terminal, as I previously mentioned"

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