[Eclipse] defining a preference page extension-优快云博客

本文介绍如何在Eclipse中通过修改plug-in.xml文件来添加树型偏好设置页面。具体步骤包括定义根节点和子节点的偏好页面，并正确配置category属性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

要添加一个树型的preference pages，可以对plug.xml增加如下扩展点

<extension
        point="org.eclipse.ui.preferencePages">
    <page        class="de.tu_darmstadt.informatik.st.pegasus.collaboration.eclipse_plugin.preferences.PegasusPerferencePage"
id="de.tu_darmstadt.informatik.st.pegasus.collaboration.eclipse_plugin.preferences.PegasusPreferencePage"
         name="Pegasus">
      </page

注意，collaboration server 是子节点，所以它的category需填入跟节点的id。与此同时，根节点的category要留空（千万注意，不留空情况在3.3里无法显示，我就是在这个问题上败了近半个小时。）

收藏到： Del.icio.us