<extension
point="org.eclipse.ui.views">
<e4view
+ allowMultiple="false"
+ category="org.simantics.district"
class="org.simantics.district.region.ui.DiagramRegionsTableView"
icon="platform:/plugin/com.famfamfam.silk/icons/table_edit.png"
id="org.simantics.diagram.regions.table.diagramRegionsTable"
- name="Diagram Regions Table"
- restorable="true"
- allowMultiple="false">
+ name="District Diagram Regions"
+ restorable="true">
</e4view>
</extension>
</plugin>