| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension point="org.eclipse.ui.preferencePages"> |
| <page id="org.eclipse.ocl.uml.ui.preferences.ProjectPreferencePage" |
| category="org.eclipse.ocl.common.ui.preferences.ProjectPreferencePage" |
| name="%MF_UML" |
| class="org.eclipse.ocl.uml.ui.internal.preferences.UMLProjectPreferencePage"/> |
| </extension> |
| <extension point="org.eclipse.ui.propertyPages"> |
| <page id="org.eclipse.ocl.uml.ui.properties.ProjectPropertyPage" |
| category="org.eclipse.ocl.common.ui.properties.ProjectPropertyPage" |
| name="%MF_UML" |
| class="org.eclipse.ocl.uml.ui.internal.preferences.UMLProjectPreferencePage"> |
| <enabledWhen> |
| <adapt type="org.eclipse.core.resources.IProject"/> |
| </enabledWhen> |
| <filter name="open" value="true"/> |
| </page> |
| </extension> |
| </plugin> |
