A theme is a collection of colors, fonts and supporting data that may
be used by plugins to help provide uniform look and feel to their components.
The workbench has a default theme (one whos id has the value
org.eclipse.ui.themes.IThemeManager.DEFAULT_THEME )
that defines the initial values for a collection of fonts and colors. Other
themes may extend and override the default theme to provide new values.
Adds a property listener to the theme. Any events fired by the
underlying registries 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 theme, but rather the color or
font registry.
Parameters: listener - the listener to add
Get arbitrary data associated with this theme.
Parameters: key - the key the data, or the default value false if none exists or if the value cannot be treated as a boolean.
Get arbitrary data associated with this theme.
Parameters: key - the key the data, or the default value 0 if none exists or if the value cannot be treated as an integer.