Como definir o tamanho da fonte dos títulos da guia do terminal?

Question

Constantemente, chego a uma situação em que os títulos das guias de 1 a 2 caracteres são cortados, pois tenho mais de 20 guias abertas. Uma maneira de resolver meu problema seria diminuir o tamanho da fonte dos títulos das guias. Alguma idéia de como isso pode ser feito?

Obrigado desgua, na verdade eu diminuo a fonte do sistema para um certo grau (Application Font = 9), mas isso é ajudar apenas até certo ponto. Acho que a melhor solução seria encontrar uma maneira de se livrar dos botões de fechamento das abas, mas não conseguiram encontrar uma maneira de fazer isso.

    

Answer 1

Você pode ir para o menu > Sistema > Preferências > Aparência e altere o tamanho da fonte de "Fonte do aplicativo".

    

Answer 2

Obrigado desgua, na verdade eu diminuo a fonte do sistema para um certo grau (Application Font = 9), mas isso é ajudar apenas até certo ponto. Acho que a melhor solução seria encontrar uma maneira de se livrar dos botões de fechamento das abas, mas não conseguiram encontrar uma maneira de fazer isso.