Lots of changes to district stuff

[simantics/district.git] / org.simantics.district.network.ui / plugin.xml

diff --git a/org.simantics.district.network.ui/plugin.xml b/org.simantics.district.network.ui/plugin.xml
index 826432f96becceff038bd996783d00e75299df63..db59f043e7acf5b71b3ba987acb1390e6123fee2 100644 (file)
--- a/org.simantics.district.network.ui/plugin.xml
+++ b/org.simantics.district.network.ui/plugin.xml
@@ -19,6 +19,14 @@
             id="org.simantics.district.network.ui.diagrameditor">
       </editor>
    </extension>
+  <extension
+         point="org.eclipse.ui.preferencePages">
+      <page
+            name="District"
+            class="org.simantics.district.network.ui.prefs.DistrictPreferencePage"
+            id="org.simantics.district.network.ui.preferences">
+      </page>
+  </extension>
    <extension
          point="org.simantics.ui.resourceEditorAdapter">
       <adapterClass