Как называется шрифт поумолчанию в ui-теме в продуктах JetBrains?

Question

[nirvimel]

Во всех продуктах JetBrains в настройках можно переопределить дефолтный шрифт меню/диалогов (речь не шрифте в самом редакторе). Если поставить соответствующую галочку, то шрифт меняется на заданный кастомный, если убрать - сбрасывается на дефолтный, но название шрифта не показывается. Мне нравиться гарнитура дефолтного, хочу только увеличить размер, для этого надо просто знать как он называется, чтобы выбрать его. Еще такой красивый шрифт возможно подойдет для других gui, где есть возможность задания шрифта. Можно конечно перебрать все шрифты в системе, но у меня плохо с визуальной оценкой шрифтов, после просмотра 10-20 шт, все они начинают казаться на одно лицо.

Answer 1

[Sanan Yuzb]

Corbel

Comments

[nirvimel]

Пусть это красивый шрифт, но это не тот, который поставляется вместе продуктами JetBrains и зашит в тему интерфейса.
У меня вообще такой не установлен.

[Sanan Yuzb]

Он у меня по-умолчанию стоит в IneliiJ IDea

[nirvimel]

Sanan Yuzb: У вас windows, у меня linux, но дело не в этом. До этого я был уверен, что ui-тема полностью определяет вид ide (нужные шрифты встроены) на всех платформах единообразно. Получается это не так.