Alterar o tamanho da fonte na árvore de arquivos do projeto no PHPStorm

Consegui alterar o restante das fontes do IDE (ou seja, menus, caixas de diálogo etc.) usando os campos "substituir fontes padrão" na tela Configurações / Aparência do IDE da caixa de diálogo Configurações. Mas isso não afeta o tamanho da fonte da árvore de pastas / arquivos na barra de navegação esquerda. A fonte padrão é tão pequena que mal consigo lê-la. Como posso alterar essa fonte?

UPDATE: Aparentemente, também não consigo alterar a fonte no editor. insira a descrição da imagem aqui

phpstorm

— EmmyS
fonte

Respostas:

A fonte na árvore não era configurável nas versões mais antigas . Nas versões recentes, ele deve funcionar usando a configuração em Settings | Appearance.

Para alterar a fonte do editor, use o botão Salvar como ... , pois você não pode modificar o esquema padrão.

— CrazyCoder
fonte

Obrigado, mas como eu disse, tentei usar a guia Configurações / Aparência. Ele altera a fonte nos menus e caixas de diálogo, mas não na árvore de arquivos. Estou usando o 6.0, que é a versão mais recente disponível para Windows. Mas suas instruções me permitiram alterar a fonte do editor, então obrigado por isso.

— Emmys

Atualize para 6.0.2 e reinicie o PhpStorm após alterar a fonte.

— CrazyCoder

De acordo com esse link, 6.0.2 possui uma licença limitada de 30 dias.

— Emmys

Não se preocupe, a versão do lançamento ou um novo EAP estará disponível antes disso; você também pode sempre reverter para a versão mais recente, se o EAP expirar.

— CrazyCoder

Nas versões 2017/2018 do PHPStorm, está no item de menu PHPStorm> Preferências> Aparência e comportamento> Aparência> Substituir fontes padrão por . Aqui você pode alterar a fonte e o tamanho da fonte.

— Sliq
fonte