Pagina delle preferenze

Identificativo: org.eclipse.ui.preferencePages

Descrizione: il workbench dispone di una finestra di dialogo comune per le preferenze. Questo punto di estensione consente ai plug-in 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 dei nodi principali del percorso, la pagina viene aggiunta al livello principale.

Tag di configurazione:

   <!ELEMENT page EMPTY>
   <!ATTLIST page
      id           CDATA #REQUIRED
      name         CDATA #REQUIRED
      class        CDATA #REQUIRED
      category     CDATA #IMPLIED
   >

Esempi:

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

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

Informazioni API: il valore dell'attributo class deve corrispondere al nome completo della classe che implementa org.eclipse.ui.IWorkbenchPreferencePage.

Implementazione fornita: 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.

Copyright IBM Corp. 2000, 2001. Tutti i diritti riservati.