| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin |
| id="newPreferencePage1" |
| name="NewPreferencePage One Plug-in" |
| version="1.0.0" |
| provider-name=""> |
| |
| <runtime> |
| <library name="preferencePage.jar"> |
| <export name="*"/> |
| </library> |
| </runtime> |
| <requires> |
| <import plugin="org.eclipse.ui"/> |
| </requires> |
| <extension |
| id="testDynamicPreferencePageAddition" |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| class="org.eclipse.ui.dynamic.DynamicPreferencePage" |
| name="dynamic.parentPage" |
| id="dynamic.parentPage"/> |
| <page |
| class="org.eclipse.ui.dynamic.DynamicPreferencePage" |
| category="dynamic.parentPage" |
| name="dynamic.childPage" |
| id="dynamic.childPage"/> |
| </extension> |
| |
| |
| |
| </plugin> |