Icona di Font PT Selector

Font PT Selector 2.0

di PyWolf

Permette di applicare la dimensione dei font in punti anziché in pixel.
In attesa che il team Mozilla implementi una funzione simile nell'editor, spero che questa estensione vi sia utile!