設定ページ

ID: org.eclipse.ui.preferencePages

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

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

構成マークアップ:

   <!ELEMENT extension (page*)>

   <!ATTLIST extension
     point CDATA #REQUIRED
     id    CDATA #IMPLIED
     name  CDATA #IMPLIED
   >

   <!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 (c) 2002 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Common Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/cpl-v10.html