La taille du code ne change pas lorsque vous modifiez la taille du texte dans les préférences

[Moin]

Captures d’écran prises une fois avec la taille du texte définie sur la plus grande et une fois sur la plus petite.

Comme vous pouvez le voir, hide_texts a toujours la même taille.

Ce serait formidable s’il pouvait s’ajuster dynamiquement au texte environnant au lieu d’être toujours à 14px.

[Moin]

J’ai remarqué que la taille de police fixe du code pose également problème pour les descriptions de catégories affichées à côté de l’icône de catégorie.