org.eclipse.ui.texteditor
Class MarkerAnnotationPreferences
java.lang.Object
|
+--org.eclipse.ui.texteditor.MarkerAnnotationPreferences
- public class MarkerAnnotationPreferences
- extends Object
Objects of this class provide access to all extensions declared for the markerAnnotationSpecification
extension point.
The extensions are represented as instances of AnnotationPreference
.
- Since:
- 2.1
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MarkerAnnotationPreferences
public MarkerAnnotationPreferences()
- Creates a new marker annotation preferences accessor.
getAnnotationPreferences
public List getAnnotationPreferences()
- Returns all extensions provided for the
markerAnnotationSpecification
extension point.
- Returns:
- all extensions provided for the
markerAnnotationSpecification
extension point
Copyright (c) IBM Corp. and others 2000, 2003. All Rights Reserved.