Package org.eclipse.ui.views.markers
Class MarkerSupportView
java.lang.Object
org.eclipse.core.commands.common.EventManager
org.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.ViewPart
org.eclipse.ui.internal.views.markers.ExtendedMarkersView
org.eclipse.ui.views.markers.MarkerSupportView
- All Implemented Interfaces:
IAdaptable,IExecutableExtension,IPersistable,IViewPart,IWorkbenchPart,IWorkbenchPart2,IWorkbenchPart3,IWorkbenchPartOrientation
public abstract class MarkerSupportView
extends org.eclipse.ui.internal.views.markers.ExtendedMarkersView
The MarkerSupportView is a view that supports the extensions
in the markerSupport extension point.
- Since:
- 3.4
-
Field Summary
Fields inherited from class org.eclipse.ui.internal.views.markers.ExtendedMarkersView
MARKERSVIEW_UPDATE_JOB_FAMILYFields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE -
Constructor Summary
ConstructorsConstructorDescriptionMarkerSupportView(String contentGeneratorId) Create a new instance of the receiver on contentGeneratorId. -
Method Summary
Modifier and TypeMethodDescriptionbooleanChecks if there is a filter currently enabled.Methods inherited from class org.eclipse.ui.internal.views.markers.ExtendedMarkersView
createFilterConfigurationDialog, createPartControl, dispose, getAdapter, getDeleteOperationName, getSelectedMarkers, getSortAscending, getUndoContext, init, isMarkerLimitsEnabled, openMarkerInEditor, openSelectedMarkers, saveState, setFocusMethods inherited from class org.eclipse.ui.part.ViewPart
checkSite, getViewSite, init, setContentDescription, setInitializationData, setPartNameMethods inherited from class org.eclipse.ui.part.WorkbenchPart
addPartPropertyListener, addPropertyListener, firePartPropertyChanged, firePropertyChange, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusyMethods inherited from class org.eclipse.core.commands.common.EventManager
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObjectMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.eclipse.ui.IWorkbenchPart
addPropertyListener, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener
-
Constructor Details
-
MarkerSupportView
Create a new instance of the receiver on contentGeneratorId.- Parameters:
contentGeneratorId- the id of a markerContentGenerator defined in an extension of the markerSupport extension.
-
-
Method Details
-
isFilterEnabled
public boolean isFilterEnabled()Checks if there is a filter currently enabled.- Overrides:
isFilterEnabledin classorg.eclipse.ui.internal.views.markers.ExtendedMarkersView- Returns:
- true if a filter is enabled, false if no filter is enabled.
- Since:
- 3.20
-