Preferenze e proprietà

Il workbench dispone di punti di estensione aggiuntivi per fornire pagine di dialogo specializzate.   Le pagine delle preferenze consentono all'utente di personalizzare un plug-in attraverso la selezione di valori per una serie definita di preferenze del plug-in.

Le pagine delle proprietà consentono agli utenti di visualizzare, e possibilmente modificare, le proprietà specifiche del plug-in di una risorsa.