org.simantics.district.maps/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.4"?>
   3 <plugin>
   4    <extension
   5          point="org.eclipse.ui.preferencePages">
   6        <page
   7              category="org.simantics.district.network.ui.preferences"
   8              class="org.simantics.maps.prefs.MapsClientPreferencePage"
   9              id="org.simantics.district.maps.preferences"
  10              name="Maps client">
  11       </page>
  12    </extension>
  13    <extension
  14          point="org.eclipse.core.runtime.preferences">
  15       <initializer
  16             class="org.simantics.maps.prefs.MapsClientPreferenceInitializer">
  17       </initializer>
  18    </extension>
  19 </plugin>