Se uso il Ctrl + e Ctrl - combinazioni di tasti Posso ridurre la dimensione del font fino a 8pt, anche se modificando le mie preferenze utente posso impostarlo su qualsiasi cosa mi piaccia. Il problema è una volta che lo faccio, qualsiasi uso delle combinazioni di tasti sopra riportate riporta il font ad almeno 8pt.
C'è un modo per sovrascrivere questo comportamento / abbassare la dimensione minima del carattere?