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="Data Stores"
  15             icon="icons/gis_add_data.gif"
  16             class="org.argeo.eclipse.spring.SpringExtensionFactory"
  17             id="org.argeo.gis.ui.dataStoresView">
  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     </extension>
  38         <extension
  39          point="org.eclipse.ui.menus">
  40         <!-- Queries -->
  41                 <menuContribution
  42                 locationURI="toolbar:org.argeo.gis.ui.layersView">
  43              <command
  44                   commandId="org.argeo.gis.ui.newMap"
  45                   disabledIcon="icons/sample.gif"
  46                   icon="icons/earth_edit.gif"
  47                   label="New Map"
  48                   style="push"
  49                   tooltip="New Map">
  50             </command>
  51         </menuContribution>
  52         </extension>
  53    <extension
  54          point="org.eclipse.ui.perspectives">
  55       <perspective
  56             class="org.argeo.gis.ui.GisPerspective"
  57             icon="icons/gis.gif"
  58             id="org.argeo.gis.ui.perspective"
  59             name="GIS">
  60       </perspective>
  61    </extension>
  62    <extension
  63          point="org.eclipse.ui.editors">
  64       <editor
  65             id="org.argeo.gis.ui.defaultMapEditor"
  66                 class="org.argeo.eclipse.spring.SpringExtensionFactory"
  67             default="true"
  68             icon="icons/earth_edit.gif"
  69             name="Map Editor">
  70       </editor>
  71    </extension>
  72
  73 </plugin>