添加首选项页

如果不希望进行进一步的定制工作,通过组合使用产品属性和缺省首选项值,可以对通用欢迎进行全面的配置。对于要允许用户定制欢迎的产品来说,提供了首选项页。应该在产品的 plugin.xml 中添加以下代码:

   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            category="org.eclipse.ui.preferencePages.Workbench"
            class="org.eclipse.ui.intro.universal.ExtensionFactory:welcomeCustomization"
            id="com.example.intro.introCustomization"
            name="%introCustomizationPreference.name">
         <keywordReference id="org.eclipse.ui.ide.appearance"/>
      </page>
   </extension>

此代码将添加“欢迎”定制首选项页。此页允许用户选择表示主题。原始选项由 plugin_customization.ini 文件中的主题首选项提供。此外,用户可以从可用根页面列表中进行选择。检查根页面将导致相关选项卡显示在对话框顶部。

保存此首选项页后,它将对变量添加产品标识前缀,以使其不会干扰同一工作台中对其他产品进行的设置。并且,选中以上复选框不会对变量添加前缀,这使存储的设置对所有产品都可视。