Как изменить шрифт GUI Eclipse?

Как изменить размер шрифта GUI Eclipse?Как изменить шрифт GUI Eclipse?

Например, я хотел бы сделать шрифт для «Project Explorer» или «Members» меньшим.

2013-05-29 bumcrumbs

Большинство элементов управления в Затмении (например, древовидных) использовать собственные виджеты ОС. Для этого шрифт или размер шрифта не могут быть отрегулированы в Eclipse. Вы должны настроить его на уровне ОС.

источник

2013-05-30 02:11:32

Я предполагаю, что это regedit, который нужно сделать. что я должен был бы изменить? – bumcrumbs

Это на панели управления. –

Вы даете недостаточно смутные ответы. Я думаю, что вы говорите, это настроить dpi. Однако это решение вызывает другой вопрос. Windows только позволяет установить DPI на 100% ниже. Вы должны настроить через реестр, чтобы установить его на <100%. Так как это системный шрифт, я полагаю, что это «лучшее» решение. – bumcrumbs

Я не знаю, можете ли вы изменить шрифт для одного конкретного раздела. Тем не менее, вы можете сделать это для Eclipse, в целом, в Preferences → General → Appearance → Цвета и шрифты → и редакторов Папки, на части шрифта заголовка и Посмотреть сообщение шрифта ,

Enter image description here

источник

2013-05-29 21:26:45

Я не уверен, что это точно изменит, однако я не вижу корректировки размера шрифта в перечисленных в обзорах. Я попытался выполнить эти настройки до публикации. :( – bumcrumbs

Действительно, это не сработало. Я попробовал его на экране «Настройки», но, похоже, он не имеет никакого эффекта за его пределами. –

Как изменить шрифт GUI Eclipse?

ответ

Смежные вопросы