Eu uso exterm frequentemente e sempre ctrl + right-click para definir o tamanho da fonte para Huge . No entanto, acho que Huge é muito pequeno em dispositivos de alta resolução. Parece realmente minúsculo no monitor fullhd de 10 polegadas do meu laptop. Eu estou querendo saber se existe alguma maneira fácil de aumentar o tamanho da fonte além de Huge . Eu procurei na Internet (talvez ineficaz) e não encontrei solução para isso.