Pagina delle preferenze

org.eclipse.ui.preferencePages

Il workbench dispone di una finestra di dialogo comune per le preferenze. Questo punto di estensione consente ai plugin di aggiungere pagine alla finestra di dialogo delle preferenze. Quando questa finestra viene aperta dalla barra dei menu, le pagine specificate vengono aggiunte alla finestra di dialogo.

La finestra di dialogo delle preferenze consente di raccogliere gerarchicamente le pagine. Pertanto, è possibile specificare l'attributo category della pagina. Questo attributo rappresenta un percorso composto dagli ID delle pagine principali separati da '/'. Se tale attributo non viene specificato o se non è possibile rilevare uno dei nodi principali del percorso, la pagina viene aggiunta al livello principale.

<!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>

Un riferimento dalla pagina delle preferenze ad una parola chiave. Fare riferimento al punto di estensione parole chiave.



Di seguito è riportato un esempio di utilizzo del punto di estensione delle preferenze:

   

<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>

il valore della classe di attributo deve corrispondere al nome completo della classe che implementa org.eclipse.ui.IWorkbenchPreferencePage.

Il workbench aggiunge alcune pagine per impostare le preferenze della piattaforma. Le pagine registrate utilizzando l'estensione verranno aggiunte dopo queste, in base alle informazioni sulla categoria.