設定ページ

org.eclipse.ui.preferencePages

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

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

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page (keywordReference*)>

<!ATTLIST page

id       CDATA #REQUIRED

name     CDATA #REQUIRED

class    CDATA #REQUIRED

category CDATA #IMPLIED>


<!ELEMENT keywordReference EMPTY>

<!ATTLIST keywordReference

id CDATA #REQUIRED>

設定ページによるキーワードへの参照です。キーワード拡張ポイントを参照してください。



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

   

<extension point=

"org.eclipse.ui.preferencePages"

>

<page id=

"com.xyz.prefpage1"

name=

"XYZ"

class=

"com.xyz.prefpages.PrefPage1"

>

<keywordReference id=

"xyz.Keyword"

/>

</page>

<page id=

"com.xyz.prefpage2"

name=

"Keyboard Settings"

class=

"com.xyz.prefpages.PrefPage2"

category=

"com.xyz.prefpage1"

>

</page>

</extension>

class 属性の値は、org.eclipse.ui.IWorkbenchPreferencePage を 実装するクラスの完全修飾名を表す必要があります。

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