Новый Eclipse, я не знаю, из какой версии, имеет в меню Navigate доступ к различным, локальным и глобальным настройкам.
Навигация - Открыть настройки - выбрать локальную / глобальную / пользовательскую настройку
Даже в недавней документации по Eclipse нет ни слова об этой функции. И когда я открываю любое свойство в текстовом редакторе или как-то еще, оно не редактируется.
Как я могу отредактировать настройки Eclipse, используя специальную функцию, явно введенную для этой цели?