No
da versão mencionada, você pode editar a fonte, mas você precisa clicar duas vezes lentamente , pois é muito instável (ou pressione enter ) e, em seguida, você precisa digitar manualmente o nome da fonte seguido por um espaço e tamanho da fonte, por exemplo, meus estados:
Source Sans Pro 10
Além disso, requer uma reinicialização do programa .
