Come posso aumentare la dimensione del carattere in WebStorm?

Question

La dimensione del carattere nell'editor in WebStorm è troppo spiacevole per i miei gusti (o i miei occhi, dovrei dire).

Ho provato a cambiarlo tramite Impostazioni> Editor> Colori & BFont> Font, che ha una casella di modifica "Dimensioni" nella sezione "Font di editor", ma è di sola lettura.

Quindi, come è possibile "aumentare" la dimensione del carattere? Ho anche (prima) provato Ctrl + rotellina del mouse, ma ciò non ha comportato alcuna gioia a Mudville.

Answer 1

Per cambiare il font e la dimensione del carattere creare il proprio tema, quindi è possibile modificare tutte le cose di carattere

impostazioni di colore Fonts: essere sicuri di deselezionare la casella di eredità con "attributi uso eredità"

ps immagini da PhpStorm ma deve lavorare per WebStorm anche

Answer 2

È necessario salvare uno schema personalizzato per modificare la dimensione del carattere.

Impostazioni> Editor> Colori & Font

Selezionare Save as... e il nome comunque vi piace.

Una volta salvato lo schema personalizzato, ora è possibile aumentare la dimensione del carattere.

Answer 3

Modifica dimensione carattere con rotella del mouse

(chiamato "zoom nell'editor")

Per abilitare la modifica la dimensione del carattere nell'editor

1. Aprire la finestra Impostazioni/Preferenze, espandere il nodo Editor e fare clic su Generale .
2. Assicurarsi che l'impostazione Cambia dimensione carattere (Zoom) con Ctrl + MouseWheel sia abilitata.

https://www.jetbrains.com/help/idea/2017.1/zooming-in-the-editor.html