説明: ワークベンチには、設定を変更するための共通のダイアログ・ボックスがあります。 この拡張ポイントの目的は、その設定ダイアログ・ボックスにプラグインがページを追加できるようにすることです。 設定ダイアログ・ボックスが開くと (メニュー・バーから起動)、 このようにして追加されたページがダイアログ・ボックスに表示されます。
設定ダイアログ・ボックスでは、ページが階層的にグループ化されます。 したがって、ページはオプションで 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 をインプリメントするクラスの完全修飾名である必要があります。
提供されるインプリメンテーション: ワークベンチにより、 プラットフォームの設定を変更するためのページがいくつか追加されています。 この拡張機能により登録されたページは、カテゴリー情報に応じて、 ワークベンチ提供のページの後ろに追加されます。