diff options
| author | Jared Burns | 2003-09-15 16:08:40 +0000 |
|---|---|---|
| committer | Jared Burns | 2003-09-15 16:08:40 +0000 |
| commit | 75e0c27bef23a2ebe0d407075b2e631643750803 (patch) | |
| tree | 193ebbc96b153907cf13492b2dd0dcf707f25725 /org.eclipse.ui.externaltools/plugin.xml | |
| parent | 71c33e6d5b591d0a29c32ff2a1e2e8ab5a125065 (diff) | |
| download | eclipse.platform.debug-75e0c27bef23a2ebe0d407075b2e631643750803.tar.gz eclipse.platform.debug-75e0c27bef23a2ebe0d407075b2e631643750803.tar.xz eclipse.platform.debug-75e0c27bef23a2ebe0d407075b2e631643750803.zip | |
Bug 37784 - Rename "Debug" preference page to "Run/Debug"
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index 93d408b9a..1b6c56e71 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -81,7 +81,7 @@ point="org.eclipse.ui.preferencePages"> <page name="%PreferencePage.externalToolsPreferences" - category="org.eclipse.ui.preferencePages.Workbench" + category="org.eclipse.debug.ui.DebugPreferencePage" class="org.eclipse.ui.externaltools.internal.ui.ExternalToolsPreferencePage" id="org.eclipse.ui.externaltools.ExternalToolsPreferencePage"> </page> |