2
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 …
12
phpstorm