Como alterar o espaçamento de linha no Terminator?

5

Para tornar as coisas mais legíveis, gostaria de colocar um pouco mais de margem entre as linhas de texto. Não consegui encontrar uma resposta com man terminator_config ou qualquer um dos painéis Preferences.

    
por parisminton 04.12.2016 / 00:12

1 resposta

6

O Terminator não suporta isso. Na verdade, o Terminator, como muitos outros emuladores de terminal (por exemplo, gnome-terminal, xfce4-terminal, mate-terminal, roxterm, sakura, tilda) usa o widget VTE para emulação de terminal e o widget VTE não suporta isso.

Você pode dar uma olhada em como as fontes são definidas e se você pode pegar uma fonte existente e criar uma nova adicionando mais espaço na parte superior e inferior. Eu não sei como fazer isso.

Você também pode querer dar uma olhada no fontconfig, a biblioteca responsável por localizar a fonte desejada. Pode ter esse recurso, não sei.

Ou você pode criar um VTE modificado para você mesmo com facilidade, consulte o link . Certifique-se de primeiro descobrir a versão exata do VTE que seu Terminator está usando, que no caso da versão do Terminator < = 1.0 provavelmente será vte-0.28.2 e comece a partir dessa versão (ou atualize para o Terminator 1.90 e vá para vte -0.fourty-whatever).

Atualização:

O VTE implementou esse recurso na versão 0.52. Isso torna super fácil para o Terminator (ou qualquer outro emulador de terminal baseado em VTE) adicionar suporte para isso. Se você ainda se importa, por favor arquive uma solicitação de recurso contra o Terminator.

    
por 04.12.2016 / 10:41