✨ Setting to change terminal line spacing

### Describe the solution you'd like

A setting is needed to change the terminals line spacing.

### Prerequisites

- #1102

Comece revisando a issue de pré-requisito #1102. Esta issue não indica arquivos, testes ou pontos de entrada, então primeiro determine onde as configurações do terminal são tratadas e quais valores de espaçamento entre linhas a configuração deve aceitar; considera-se concluído quando os usuários puderem alterar o espaçamento entre linhas do terminal.

Escrita pelo modelo de indexação a partir do texto da issue.