plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.4"?>
   3 <plugin>
   4
   5    <extension
   6          point="org.eclipse.ui.views">
   7       <view
   8             name="Layers"
   9             icon="icons/layer_folder.gif"
  10             class="org.argeo.eclipse.spring.SpringExtensionFactory"
  11             id="org.argeo.gis.ui.layersView">
  12       </view>
  13       <view
  14             name="GIS Data"
  15             icon="icons/gis_add_data.gif"
  16             class="org.argeo.eclipse.spring.SpringExtensionFactory"
  17             id="org.argeo.gis.ui.featureSourcesView">
  18       </view>
  19    </extension>
  20    <extension
  21          point="org.eclipse.ui.editors">
  22       <editor
  23             id="org.argeo.gis.ui.defaultMapEditor"
  24                 class="org.argeo.eclipse.spring.SpringExtensionFactory"
  25             default="true"
  26             icon="icons/earth_edit.gif"
  27             name="Map Editor">
  28       </editor>
  29    </extension>
  30         <extension
  31          point="org.eclipse.ui.commands">
  32                 <command
  33             defaultHandler="org.argeo.eclipse.spring.SpringCommandHandler"
  34             id="org.argeo.gis.ui.newMap"
  35             name="New Map">
  36         </command>
  37                 <command
  38             defaultHandler="org.argeo.eclipse.spring.SpringCommandHandler"
  39             id="org.argeo.gis.ui.addFeatureSources"
  40             name="Add Feature Sources">
  41         </command>
  42     </extension>
  43         <extension
  44          point="org.eclipse.ui.menus">
  45                 <menuContribution
  46                 locationURI="toolbar:org.argeo.gis.ui.layersView">
  47              <command
  48                   commandId="org.argeo.gis.ui.newMap"
  49                   disabledIcon="icons/sample.gif"
  50                   icon="icons/earth_edit.gif"
  51                   label="New Map"
  52                   style="push"
  53                   tooltip="New Map">
  54             </command>
  55              <command
  56                   commandId="org.argeo.gis.ui.addFeatureSources"
  57                   disabledIcon="icons/sample.gif"
  58                   icon="icons/earth_edit.gif"
  59                   label="Add Feature Sources"
  60                   style="push"
  61                   tooltip="Add Feature Sources">
  62             </command>
  63         </menuContribution>
  64         </extension>
  65    <extension
  66          point="org.eclipse.ui.perspectives">
  67       <perspective
  68             class="org.argeo.gis.ui.GisPerspective"
  69             icon="icons/gis.gif"
  70             id="org.argeo.gis.ui.perspective"
  71             name="GIS">
  72       </perspective>
  73    </extension>
  74    <extension
  75          point="org.eclipse.ui.editors">
  76       <editor
  77             id="org.argeo.gis.ui.defaultMapEditor"
  78                 class="org.argeo.eclipse.spring.SpringExtensionFactory"
  79             default="true"
  80             icon="icons/earth_edit.gif"
  81             name="Map Editor">
  82       </editor>
  83    </extension>
  84
  85 </plugin>