Bug 211212 Cannot delete a bookmark in the new markers view
The delete action is not enabled for bookmarks
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/EditablePropertyTester.java
package org.eclipse.ui.internal.provisional.views.markers;
import org.eclipse.core.expressions.PropertyTester;
import org.eclipse.core.resources.IMarker;
/**
 * EditablePropertyTester is a property tester for the editable property of the
 * selected marker.
 * 
 * @since 3.4
 * 
 */
public class EditablePropertyTester extends PropertyTester {