What is the name of the default font in the ui theme in JetBrains products?

Question

jetbrains

In all JetBrains products, in the settings you can override the default menu / dialog font (speech is not a font in the editor itself). If you check the appropriate box, then the font changes to the specified custom one, if you remove it, it is reset to default, but the font name is not shown. I like the default headset, I just want to increase the size, for this you just need to know what it's called to select it. Another such beautiful font may be suitable for other guis, where it is possible to set the font. Of course, you can sort through all the fonts in the system, but I'm bad with the visual assessment of fonts, after viewing 10-20 pieces, they all start to look the same.

Answer 1

Corbel