Изменить текстовый шрифт в Eclipse для текстовых редакторов GWT - PullRequest
0 голосов
/ 21 сентября 2018

Я использую Eclipse с плагином GWT Eclipse.Я хочу использовать шрифт, отличный от шрифта по умолчанию (в данном случае, Fira Code).В настройках «Цвета и шрифты» я установил параметр «Шрифт текста» для использования кода Fira, и он отлично работает в обычных текстовых редакторах Java.Однако, если я открою исходный файл, который находится в проекте GWT, плагин Eclipse GWT использует свой собственный текстовый редактор, который игнорирует пользовательский шрифт и использует вместо этого Eclipse по умолчанию.

Есть ли способ заставить текстовый редактор GWT тоже использовать эту настройку?

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...