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