Se esses editores de texto perderem a opção de espaçamento de linha, tente o editor CudaText . Para alterar o espaçamento entre linhas (um para todas as linhas), abra user.json config e escreva a opção:
"spacing_y": 2,
ou -1
para diminuir.