Como dito nos comentários de Anthony Geoghegan, foi um problema do programa Konsole
. Achei que isso é um bug conhecido , mas algumas fontes não são afetadas. Em Konsole
alterei a fonte usando
%código%.
A fonte Settings -> Edit current profile -> Appearance
funcionou para mim.
Obrigado pela ajuda nos comentários!
(eu deletei a parte sobre a alteração da fonte do terminal na pergunta original, pois não tem nada a ver com o erro em DejaVu Sans Mono
)