/**
* <copyright>
* </copyright>
*
*
*/
package robot.resource.robot.ui;
public class RobotAnnotationModel extends org.eclipse.ui.texteditor.ResourceMarkerAnnotationModel {
public RobotAnnotationModel(org.eclipse.core.resources.IResource resource) {
super(resource);
}
protected org.eclipse.ui.texteditor.MarkerAnnotation createMarkerAnnotation(org.eclipse.core.resources.IMarker marker) {
return new robot.resource.robot.ui.RobotMarkerAnnotation(marker);
}
}