Lots of changes to district stuff

[simantics/district.git] / org.simantics.district.maps / plugin.xml

diff --git a/org.simantics.district.maps/plugin.xml b/org.simantics.district.maps/plugin.xml
new file mode 100644 (file)
index 0000000..0b965be
--- /dev/null
+++ b/org.simantics.district.maps/plugin.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+   <extension
+         point="org.eclipse.ui.preferencePages">
+       <page
+             category="org.simantics.district.network.ui.preferences"
+             class="org.simantics.maps.prefs.MapsClientPreferencePage"
+             id="org.simantics.district.maps.preferences"
+             name="Maps client">
+      </page>
+   </extension>
+   <extension
+         point="org.eclipse.core.runtime.preferences">
+      <initializer
+            class="org.simantics.maps.prefs.MapsClientPreferenceInitializer">
+      </initializer>
+   </extension>
+</plugin>