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

12

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:

13

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
6

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