tools/pldt/org.eclipse.ptp.pldt.openmp.ui.pv/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>

   <extension
         point="org.eclipse.ui.views">
      <category
            name="PTP OpenMP Views"
            id="org.eclipse.ptp.pldt.openmp.ui.pv">
      </category>
      <view
            name="OpenMP Problems"
            icon="icons/openMPproblem.gif"
            category="org.eclipse.ptp.pldt.openmp" 
            class="org.eclipse.ptp.pldt.openmp.ui.pv.views.OpenMPProblemsView"
            id="org.eclipse.ptp.pldt.openmp.ui.pv.views.OpenMPProblemsView">
      </view>
   </extension>
   <!--  openMP markers -->
   <!-- MARKER_ID       = "org.eclipse.ptp.pldt.openmp.ui.pv.openMPProblemMarker" -->
   <extension point="org.eclipse.core.resources.markers"
		id="openMPProblemMarker"
        name="OpenMP Problem Marker">
      <super type="org.eclipse.core.resources.textmarker"/>
      <attribute name="description"/>
      <attribute name="resource"/>
      <attribute name="infoldername"/>
      <attribute name="location"/>
      <attribute name="problem"/>
   </extension>
   <extension
         point="org.eclipse.ui.perspectiveExtensions">
      <perspectiveExtension
            targetID="org.eclipse.ui.resourcePerspective">
         <view
               ratio="0.5"
               relative="org.eclipse.ui.views.TaskList"
               relationship="right"
               id="org.eclipse.ptp.pldt.openmp.ui.pv.views.OpenMPProblemsView">
         </view>
      </perspectiveExtension>
   </extension>   

</plugin>