Examinei a lista de preferências (embora, por enquanto, eu tenha uma versão um pouco desatualizada, 7.3.3) e através da lista de plugins e não encontrei essa opção. Eu gostaria de ter certeza de que não esqueci isso antes de criar um problema no GitHub, então, por favor, deixe-me saber se existe uma maneira de configurar tal comportamento.