[PLUG] Distinguishing instances of GUI file manager by color

Richard Owlett rowlett at cloud85.net
Wed Sep 26 14:43:49 UTC 2018


On 09/26/2018 09:01 AM, John Jason Jordan wrote:
> On Wed, 26 Sep 2018 07:52:34 -0500
> Richard Owlett <rowlett at cloud85.net> dijo:
> 
>> Just installed it. It appears to have the right features.
>>
>> However, on my laptop, the font size is barely visible.
>> A web search reveals that mc does not control font size.
>> That is controlled by the terminal emulator used.
>> How do I determine what emulator is being used - Debian Stretch with
>> MATE desktop?
> 
> I have long used Gnome Terminal, currently 3.18.3 on Xubuntu. It allows
> setting the font and font size to whatever you want. It is also the
> default terminal, and I know I must have set that manually because Xfce
> has its own terminal that must have been the original default. Wish I
> could remember how I set it to be the default.

MATE has a terminal - use routinely.
The web page I found explicitly used the term "terminal emulator".
They are evidently minimally (if at all) related as I changed the font 
for "MATE terminal" and it had no effect on mc.






More information about the PLUG mailing list