Просто чтобы прояснить, я знаю, что могу настроить шрифт, используемый в окне редактора VSCode, практически для любого моноширинного шрифта, который мне нравится. Я не спрашиваю о том, какой шрифт используется в редакторе. Я спрашиваю, знает ли кто-нибудь, какой шрифт используется VSCode для остальной части его интерфейса?
Я понимаю, что это необычный вопрос дизайна. Но это связано с моей IDE, и мне нужно подтвердить проект, который я поддерживаю.
Cheers,