El tamaño del código no cambia al cambiar el tamaño del texto en las preferencias

Capturas de pantalla tomadas una vez con el tamaño de texto establecido en el más grande y otra en el más pequeño.


Como puedes ver, hide_texts siempre tiene el mismo tamaño.

Sería genial si pudiera ajustarse dinámicamente con el texto que lo rodea en lugar de ser siempre de 14px.

4 Me gusta

Noté que el tamaño de fuente fijo del código también es un problema en las descripciones de las categorías que se muestran junto al icono de la categoría.