Consegui alterar o restante das fontes do IDE (ou seja, menus, diálogos, 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 parece afetar 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 ler. Como posso mudar essa fonte?
UPDATE: eu também aparentemente não consigo alterar a fonte no editor.
A fonte na árvore não foi configurável em 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 ... que você não pode modificar o esquema padrão.
Para as versões 2017/2018 do PHPStorm, está no item de menu PHPStorm > Preferências > Aparência & Comportamento > Aparência > Substituir fontes padrão por . Aqui você pode alterar a fonte e o tamanho da fonte.
Tags phpstorm
