Tamanho do código não muda quando você altera o tamanho do texto nas preferências

Capturas de tela tiradas uma vez com o tamanho do texto definido como maior e uma vez como menor.


Como você pode ver, hide_texts tem sempre o mesmo tamanho.

Seria ótimo se ele pudesse se ajustar dinamicamente ao texto ao redor, em vez de ser sempre 14px.

4 curtidas

Notei que o tamanho de fonte fixo do código também é um problema nas descrições de categoria mostradas ao lado do ícone da categoria.