On 09/26/2018 09:01 AM, John Jason Jordan wrote:
On Wed, 26 Sep 2018 07:52:34 -0500
Richard Owlett <[email protected]> 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.
_______________________________________________
PLUG mailing list
[email protected]
http://lists.pdxlinux.org/mailman/listinfo/plug
