設定ページ

ID: org.eclipse.ui.preferencePages

説明: ワークベンチには、設定を変更するための共通のダイアログ・ボックスがあります。 この拡張ポイントの目的は、その設定ダイアログ・ボックスにプラグインがページを追加できるようにすることです。 設定ダイアログ・ボックスが開くと (メニュー・バーから起動)、 このようにして追加されたページがダイアログ・ボックスに表示されます。

設定ダイアログ・ボックスでは、ページが階層的にグループ化されます。 したがって、ページはオプションで category 属性を指定することができます。 この属性は、'/' で区切られた親のページ ID から構成されるパスを表します。 この属性を省略した場合、またはパス内のいずれかの親ノードが見つからない場合、 ページはルート・レベルに追加されます。

構成マークアップ:

   <!ELEMENT page EMPTY>
   <!ATTLIST page
      id           CDATA #REQUIRED
      name         CDATA #REQUIRED
      class        CDATA #REQUIRED
      category     CDATA #IMPLIED
   >

例:

設定拡張ポイントの例を次に示します。

   <extension
       point="org.eclipse.ui.preferencePages">
      <page
         id="com.xyz.prefpage1"
         name="XYZ"
         class="com.xyz.prefpages.PrefPage1">
      </page>
      <page
         id="com.xyz.prefpage2"
         name="Keyboard Settings"
         class="com.xyz.prefpages.PrefPage2"
         category="com.xyz.prefpage1">
      </page>
   </extension>

API 情報 : class 属性の値は、 org.eclipse.ui.IWorkbenchPreferencePage をインプリメントするクラスの完全修飾名である必要があります。

提供されるインプリメンテーション: ワークベンチにより、 プラットフォームの設定を変更するためのページがいくつか追加されています。 この拡張機能により登録されたページは、カテゴリー情報に応じて、 ワークベンチ提供のページの後ろに追加されます。

Copyright IBM Corp. 2000, 2001.  All Rights Reserved.