| <?xml version="1.0" encoding="UTF-8"?> | |
| <!-- Eclipse Update Manager Plugin --> | |
| <plugin | |
| id = "org.eclipse.update" | |
| name = "%S_Eclipse_Update_Manager_Plugin" | |
| version = "1.0" | |
| provider-name = "International Business Machines Corp." | |
| class = "org.eclipse.update.internal.core.UpdateManagerPlugin"> | |
| <requires> | |
| <import plugin="org.eclipse.core.runtime"/> | |
| <import plugin="org.eclipse.ui"/> | |
| <import plugin="org.eclipse.webdav"/> | |
| </requires> | |
| <runtime> | |
| <library name="update.jar" /> | |
| </runtime> | |
| <!-- ================================================================================= --> | |
| <!-- --> | |
| <!-- Update Manager Preference Page Settings --> | |
| <!-- --> | |
| <!-- ================================================================================= --> | |
| <extension point="org.eclipse.ui.preferencePages"> | |
| <page id = "UMPreferencePageSettings" | |
| name = "%S_Software_Updates_Preferences" | |
| class = "org.eclipse.update.internal.ui.UMPreferencePageSettings"> | |
| </page> | |
| </extension> | |
| <!-- ================================================================================= --> | |
| <!-- --> | |
| <!-- Update Manager Help Menu Action Set --> | |
| <!-- --> | |
| <!-- ================================================================================= --> | |
| <extension point="org.eclipse.ui.actionSets"> | |
| <actionSet | |
| id = "org.eclipse.update.internal.ui.UpdateManagerActionSet" | |
| label = "%S_Software_Updates" | |
| visible = "true"> | |
| <action id = "org.eclipse.update.internal.ui.UpdateManagerAction" | |
| menubarPath = "help/helpEnd" | |
| label = "%S_Software_Updates" | |
| class = "org.eclipse.update.internal.ui.UMDialogAction"/> | |
| </actionSet> | |
| </extension> | |
| <!-- ============================================================================================ --> | |
| <!-- --> | |
| <!-- Update Manager Application --> | |
| <!-- --> | |
| <!-- ============================================================================================ --> | |
| <extension id="updateManager" point="org.eclipse.core.runtime.applications"> | |
| <application> | |
| <run class="org.eclipse.update.internal.ui.UMApplicationUserInterface"> | |
| </run> | |
| </application> | |
| </extension> | |
| </plugin> |