Question

我想知道如何找出Eclipse中现有首选项页面的首选项页面ID。具体来说，我想找出General＆gt;的首选项页面ID。 Eclipse中的功能首选项页面。我尝试过“org.eclipse.ui.activities.ActivityCategoryPreferencePage”，但似乎没有用。

谢谢！

Answer 1

我发现最简单的方法，假设您将PDE作为eclipse安装的一部分，就是使用Plugin-Spy并从那里开始。

打开首选项页面，然后按Alt + Shift + F1。应出现“Plug-in Selection Spy”对话框。在该对话框中，您将找到活动页面的贡献插件和类名。然后转到该插件并查看其plugin.xml以找到ID。

请注意，某些实现可能会将ID作为查看器类中的常量，因此您可以先查看类的代码，如果不存在，请检查plugin.xml。

干杯

Answer 2

我在命令处理程序中编写了一些代码，以根据http://rcpexperiments.blogspot.com/2010/03/how-to-remove-unwanted-preference-pages.html找出所有首选项页面标签及其ID。但是，该站点上的代码仅打印出最高级别的首选节点;而我想要的页面作为顶级General（org.eclipse.ui.preferencePages.Workbench）首选项页面的子页面。所以我稍微修改了代码，将这些代码打印出来。

    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，之后我只搜索了我想要的标签。

如何在Eclipse中找到首选项页面的首选项页面ID？

2 个答案: