/**
* Sets the marker to show or modify.
*
* @param marker the marker, or <code>null</code> to create a new marker
*/
@Override
public void setMarker(IMarker marker) {
// Method is overridden because API is being inherited from an internal class.
super.setMarker(marker);
}
/**
* Sets the resource to use when creating a new bookmark. If not set, the new bookmark is created
* on the workspace root.
*
* @param resource the resource
*/
@Override
public void setResource(IResource resource) {
// Method is overridden because API is being inherited from an internal class.
super.setResource(resource);
}
/**
* Sets initial attributes to use when creating a new bookmark. If not set, the new bookmark is
* created with default attributes.
*
* @param initialAttributes the initial attributes
*/
@Override
public void setInitialAttributes(Map initialAttributes) {
// Method is overridden because API is being inherited from an internal class.
super.setInitialAttributes(initialAttributes);
}
