I have the MATE dropdown F12 terminal enabled, very nice! However, I want to make the font bigger, which I can do with CTRL++, but the font size resets as soon as I reboot. Is there a way to make it stay the same? I’ve tried setting the font in the normal CTRL+ALT+T terminal in the hopes the dropdown one read from its settings, but no dice.
Thank you!