Package org.aspectj.ajde.ui
Schnittstelle UserPreferencesAdapter
- Alle bekannten Implementierungsklassen:
UserPreferencesStore
public interface UserPreferencesAdapter
This interface needs to be implemented by an IDE extension in order for AJDE
to store properties in a way that matches the IDE's property storing facilities.
- Autor:
- Mik Kersten
-
Methodenübersicht
Modifizierer und TypMethodeBeschreibungRetrieves a global IDE option.getGlobalPreference
(String name) Retrieves a global IDE option.Retrieves an option for the currently active project.getProjectPreference
(String name) Retrieves an option for the currently active project.void
setGlobalMultivalPreference
(String name, List values) Sets a global IDE option with multiple values.void
setGlobalPreference
(String name, String value) Sets a global IDE option with a single value.void
setProjectMultivalPreference
(String name, List values) Sets an option for the currently active project.void
setProjectPreference
(String name, String value) Sets an option for the currently active project.
-
Methodendetails
-
getGlobalPreference
Retrieves a global IDE option. -
getGlobalMultivalPreference
Retrieves a global IDE option. -
setGlobalPreference
Sets a global IDE option with a single value. -
setGlobalMultivalPreference
Sets a global IDE option with multiple values. -
getProjectPreference
Retrieves an option for the currently active project. -
getProjectMultivalPreference
Retrieves an option for the currently active project. -
setProjectPreference
Sets an option for the currently active project. -
setProjectMultivalPreference
Sets an option for the currently active project.
-