| java.lang.Object
 org.eclipse.ui.texteditor.rulers.RulerColumnRegistry
| RulerColumnRegistry | | final public class RulerColumnRegistry (Code) | | A registry for all extensions to the
rulerColumns extension point.
since:
3.3 |
| RulerColumnRegistry | | RulerColumnRegistry()(Code) | | Creates a new instance.
|
| getColumnDescriptors | | public List getColumnDescriptors()(Code) | | Returns the list of
RulerColumnDescriptor s describing all extensions to the
rulerColumns extension point. The list's iterator traverses the descriptors in
the ordering implied by the placement specifications of the contributions.
The returned list is unmodifiable and guaranteed to never change. Note that the set of
descriptors may change over time due to dynamic plug-in removal or addition.
the sorted list of extensions to the rulerColumns extension point(element type: RulerColumnDescriptor) |
| getDefault | | public static synchronized RulerColumnRegistry getDefault()(Code) | | Returns the default computer registry.
TODO keep this or add some other singleton, e.g. TextEditorPlugin?
the singleton instance |
| reload | | public void reload()(Code) | | Reloads the extensions to the extension point.
This method can be called more than once in order to reload from
a changed extension registry.
|
|
|