|
| |
|
| org.eclipse.ui.themes.IThemeManager
All known Subclasses: org.eclipse.ui.internal.themes.WorkbenchThemeManager,
| IThemeManager | | public interface IThemeManager (Code) | | A theme manager is an object that contains references to usable
ITheme objects and maintains a reference to the currently active
theme. This theme will be used by the workbench to decorate tab folders and
other controls where possible. The workbench implementation of this
interface will push the values of the current theme into the underlying jface
registries (
org.eclipse.jface.resource.ColorRegistry and
org.eclipse.jface.resource.FontRegistry whenever the current theme
changes. Clients who do not need access to specific themes may instead
attach listeners to these registries directly.
This interface is not intended to be implemented or extended by clients.
See Also: org.eclipse.ui.IWorkbench.getThemeManager
since:
3.0 |
| CHANGE_CURRENT_THEME | | final public static String CHANGE_CURRENT_THEME(Code) | | Indicates that the current theme has changed to a new theme.
|
| DEFAULT_THEME | | final public static String DEFAULT_THEME(Code) | | The default theme id.
|
| addPropertyChangeListener | | void addPropertyChangeListener(IPropertyChangeListener listener)(Code) | | Adds a property listener to the manager. Any events fired by the
underlying registries of the current theme will cause an event to be
fired. This event is the same event that was fired by the registry.
As such, the "source" attribute of the event will not be this manager,
but rather the color or font registry. Additionally, an event is fired
when the current theme changes to a new theme. The "property" attribute
of such an event will have the value
IThemeManager.CHANGE_CURRENT_THEME .
Parameters:
listener - the listener to add |
| getCurrentTheme | | ITheme getCurrentTheme()(Code) | | Get the currently active theme.
the current theme. This will never be null. |
| getTheme | | ITheme getTheme(String id)(Code) | | Get a theme.
Parameters:
id - the theme to find. the ITheme or null if it cannot be found. |
| removePropertyChangeListener | | void removePropertyChangeListener(IPropertyChangeListener listener)(Code) | | Removes a property listener from the workbench.
Parameters:
listener - the listener to remove |
| setCurrentTheme | | void setCurrentTheme(String id)(Code) | | Set the currently active theme.
Parameters:
id - the id of the new active theme |
|
|
|