
Estou usando o IDE Pycharm para python, na versão 2019.1, e embora haja uma seção de gerenciamento de fontes no menu de configurações, parece que só posso usar as fontes padrão do Windows. , mas eles não estão aparecendo no menu suspenso. E marcar a caixa "Usar fontes personalizadas" não resolve o problema.
Aparentemente nas versões anteriores havia uma opção clara de usar fontes baixadas, mas parece que não existe mais. Alguém sabe como usar fontes baixadas, se possível? PyCharm é um IDE tão completo e conveniente que eu ficaria extremamente surpreso se algo tão trivial e comum como usar fontes baixadas não pudesse ser feito. Sobreviverei se não for possível, mas isso seria um pouco ridículo.