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