Eu uso um monitor externo de alta resolução no trabalho e aumento o tamanho da fonte no meu terminal para melhor visibilidade.
Mas o texto na barra de guias está preso no tamanho padrão. Alterar o tamanho da fonte não afeta o tamanho da fonte da guia e não consegui encontrar nenhuma configuração que pudesse ajustar para conseguir o mesmo.
Tentar aumentar o zoom usando ⌘+também afeta apenas o texto dentro do terminal e não nas guias.
Como altero o tamanho da fonte do texto na guia?
Responder1
Vá para preferências> avançado e pesquise "fonte da guia". Você precisa habilitar tamanhos de fonte personalizados e então definir o tamanho do ponto lá. Esta alteração entra em vigor assim que você sai das preferências; não há necessidade de reiniciar o terminal (pelo menos na V3.4).
