diff options
| author | Darin Swanson | 2004-09-17 19:14:23 +0000 |
|---|---|---|
| committer | Darin Swanson | 2004-09-17 19:14:23 +0000 |
| commit | 85b7fe0570a45dcb5548626e5ebc5dfd255de538 (patch) | |
| tree | c9a400e46845fd3578fc33d734da656a5c86c9ac /org.eclipse.ui.externaltools/plugin.xml | |
| parent | 997b75eaea8311aa496096d8c135faad3d6e8929 (diff) | |
| download | eclipse.platform.debug-85b7fe0570a45dcb5548626e5ebc5dfd255de538.tar.gz eclipse.platform.debug-85b7fe0570a45dcb5548626e5ebc5dfd255de538.tar.xz eclipse.platform.debug-85b7fe0570a45dcb5548626e5ebc5dfd255de538.zip | |
Bug 73987 - Move plugins off the deprecated plugin pref init
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index f7d0ac8f5..adaf9aadb 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -228,5 +228,9 @@ id="org.eclipse.ui.externaltools.workingSetComparator"> </launchConfigurationComparator> </extension> + + <extension point="org.eclipse.core.runtime.preferences"> + <initializer class="org.eclipse.ui.externaltools.internal.model.ExternalToolsPreferenceInitializer"/> + </extension> </plugin> |