Как узнать идентификатор страницы настроек страницы предпочтений в Eclipse?

Question

Я хотел бы знать, как узнать идентификатор страницы настроек существующей страницы настроек в Eclipse.В частности, я хочу узнать идентификатор страницы предпочтений страницы предпочтений General> Capabilities в Eclipse.Я пробовал "org.eclipse.ui.activities.ActivityCategoryPreferencePage", и это, похоже, не работает.

Спасибо!

Answer 1

Самый простой способ, который я нашел, предполагая, что PDE является частью вашей установки Eclipse, - это использовать Plugin-Spy и идти оттуда.

Откройте страницу настроек и нажмите Alt + Shift + F1. Должно появиться диалоговое окно «Plug-in Selection Spy». В этом диалоге вы найдете подключаемый модуль и имя класса для активной страницы. Затем перейдите к этому плагину и проверьте его plugin.xml, чтобы найти идентификатор.

Обратите внимание, что некоторые реализации могут иметь идентификатор как константу в классе средства просмотра, поэтому вы можете начать с просмотра кода класса, а если его там нет, проверьте файл plugin.xml.

Приветствия

Answer 2

Я написал некоторый код в обработчике команд, чтобы узнать все метки страниц настроек и их идентификаторы на основе http://rcpexperiments.blogspot.com/2010/03/how-to-remove-unwanted-preference-pages.html. Однако код на этом сайте распечатывает только узлы предпочтений самого высокого уровня;тогда как нужная мне страница находилась в качестве дочерней страницы страницы предпочтений общего уровня (org.eclipse.ui.preferencePages.Workbench).Поэтому я немного изменил код, чтобы распечатать дочерние элементы как ewll.

    PreferenceManager pm = PlatformUI.getWorkbench( ).getPreferenceManager();
    List<IPreferenceNode> l = pm.getElements(PreferenceManager.PRE_ORDER);

    for(IPreferenceNode node : l){
        System.out.println("Label:" + node.getLabelText() + " ID:" + node.getId());
    }

Это распечатало все имена и ID страницы настроек, после чего я просто выполнил поиск нужной метки.