Examples with DeleteMarkersOperation org.eclipse.ui.ide.undo.DeleteMarkersOperation used on opensource projects

Example 1 with DeleteMarkersOperation

use of org.eclipse.ui.ide.undo.DeleteMarkersOperation in project eclipse.platform.text by eclipse.

the class MarkerRulerAction method removeMarkers.

/**
 * Removes the given markers.
 *
 * @param markers the markers to be deleted
 */
protected void removeMarkers(final List<? extends IMarker> markers) {
    IMarker[] markersArray = markers.toArray(new IMarker[markers.size()]);
    execute(new DeleteMarkersOperation(markersArray, getOperationName()));
}