. Каждый шрифт в Eclipse выглядит великолепно, но заголовки вкладок крупнее, чем хотелось бы. Я пытаюсь изменить его, но Eclipse не распознает изменения. Чтобы внести изменения, я выбираю «Настройки» -> «Основные» -> «Внешний вид» -> «Шрифт и цвета». Я редактирую «Шрифт заголовка части», но изменение не сохраняется, хотя предварительный просмотр в порядке.