full - phpstorm gratis

Establecer el tamaño de fuente del terminal en PhpStorm?

Question

¿Cómo puedo establecer el tamaño de fuente en el terminal incrustado en el JetBrains PhpStorm IDE? El texto es muy pequeño es posible?

Answer 1

Otra alternativa es presionar CTRL / CMD + Shift + A y buscar la console :

Después de configurar la fuente, no es necesario reiniciar, solo cierre y abra una nueva terminal como se muestra aquí:

Answer 2

Configuración (Preferencias en Mac) | Editor | Colores y fuentes | Fuente de consola

NOTA: si no puede editar el esquema de color del paquete, deberá hacer una copia del paquete para poder realizar cambios.

Answer 3

LazyOne ya señaló dónde puedes cambiar esto .

Tenga en cuenta que primero debe presionar el botón "Guardar como ..." junto al esquema de color para crear un nuevo tema de color: no puede cambiar nada a menos que cree una copia .

Prototipo PHPStorm: si no puede encontrar la configuración, solo use el campo de búsqueda: