Interface IMarkerManagerListener

    • Method Detail

      • handleMarkersChanged

        void handleMarkersChanged​(org.eclipse.core.resources.IProject project,
                                  Collection<Object> markerIds)
        Handles markers change.
        Parameters:
        project - the project, never null.
        markerIds - the marker identifiers set, never null.