/**
* <copyright>
* </copyright>
*
*
*/
package org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui;
public class MtextAnnotationModel extends org.eclipse.ui.texteditor.ResourceMarkerAnnotationModel {
public MtextAnnotationModel(org.eclipse.core.resources.IResource resource) {
super(resource);
}
protected org.eclipse.ui.texteditor.MarkerAnnotation createMarkerAnnotation(org.eclipse.core.resources.IMarker marker) {
return new org.feature.multi.perspective.mapping.viewmapping.resource.mtext.ui.MtextMarkerAnnotation(marker);
}
}