Cambiar el tamaño de fuente en el árbol de archivos del proyecto en PHPStorm

Pude cambiar el resto de las fuentes del IDE (es decir, menús, cuadros de diálogo, etc.) utilizando los campos "anular fuentes predeterminadas" en la pantalla Configuración / Apariencia del IDE del cuadro de diálogo Configuración. Pero no parece afectar el tamaño de fuente de la carpeta / árbol de archivos en la barra de navegación izquierda. La fuente predeterminada allí es tan pequeña que apenas puedo leerla. ¿Cómo puedo cambiar esa fuente?

ACTUALIZACIÓN: aparentemente tampoco puedo cambiar la fuente en el editor. ingrese la descripción de la imagen aquí

phpstorm

— EmmyS
fuente

Respuestas:

La fuente en el árbol no era configurable en versiones anteriores . En las versiones recientes, debería funcionar utilizando la configuración en Settings | Appearance.

Para cambiar la fuente del editor, use el botón Guardar como ... ya que no puede modificar el esquema predeterminado.

— CrazyCoder
fuente

Gracias, pero como dije, he intentado usar la pestaña Configuración / Apariencia. Cambia la fuente en los menús y cuadros de diálogo, pero no el árbol de archivos. Estoy usando 6.0, que es la versión más nueva disponible para Windows. Pero sus instrucciones me permitieron cambiar la fuente del editor, así que gracias por eso.

— EmmyS

Actualice a 6.0.2 y reinicie PhpStorm después de cambiar la fuente.

— CrazyCoder

Según ese enlace, 6.0.2 tiene una licencia limitada de 30 días.

— EmmyS

No se preocupe, la versión de lanzamiento o un nuevo EAP estará disponible antes de eso, también puede volver a la última versión de lanzamiento si EAP caduca.

— CrazyCoder

Para las versiones 2017/2018 de PHPStorm, se encuentra debajo del elemento de menú PHPStorm> Preferencias> Apariencia y comportamiento> Apariencia> Anular fuentes predeterminadas por . Aquí puede cambiar la fuente y el tamaño de la fuente.

— Sliq
fuente