Como alterar a fonte do cliente de chat do IRC do polari?

Question

É possível alterar a fonte padrão do cliente de chat do IRC polari? Eu gostaria de mudá-lo para DejaVu Sans Mono.

    

Answer 1

Acontece que está usando as fontes do GTK. Você não pode personalizá-lo no Polari. Meu tema GTK estava causando o "problema".