org.eclipse.gmf.runtime.common.ui.services/plugin.xml

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

<!-- Copyright (c) 2005, 2009  IBM Corporation and others.                 -->
<!-- This program and the accompanying materials are made                  -->
<!-- available under the terms of the Eclipse Public License 2.0           -->
<!-- which is available at https://www.eclipse.org/legal/epl-2.0/          -->
<!--                                                                       -->
<!-- SPDX-License-Identifier: EPL-2.0                                      -->
<!-- Contributors:                                                         -->
<!--    IBM Corporation - initial API and implementation                   -->

<plugin>

   <extension-point id="editorProviders" name="%extPoint.editorProviders" schema="schema/editorProviders.exsd"/>
   <extension-point id="markerNavigationProviders" name="%extPoint.markerNavigationProviders" schema="schema/markerNavigationProviders.exsd"/>
   <extension-point id="iconProviders" name="%extPoint.iconProviders" schema="schema/iconProviders.exsd"/>
   <extension-point id="parserProviders" name="%extPoint.parserProviders" schema="schema/parserProviders.exsd"/>
   <extension-point id="elementSelectionProviders" name="%extPoint.elementSelectionProviders" schema="schema/elementSelectionProviders.exsd"/>
   <extension-point id="statusLineContributionItemProviders" name="%extPoint.statusLineContributionItemProviders" schema="schema/statusLineContributionItemProviders.exsd"/>

   <extension
         id="marker"
         name="%marker.name"
         point="org.eclipse.core.resources.markers">
      <super
            type="org.eclipse.core.resources.marker">
      </super>
      <persistent
            value="false">
      </persistent>
      <attribute
            name="elementId">
      </attribute>
   </extension>
   <extension
         id="bookmark"
         point="org.eclipse.core.resources.markers">
      <super
            type="org.eclipse.gmf.runtime.common.ui.services.marker">
      </super>
      <super
            type="org.eclipse.core.resources.bookmark">
      </super>
      <persistent
            value="true">
      </persistent>
   </extension>

</plugin>