diff options
| author | Darin Swanson | 2003-03-05 21:57:20 +0000 |
|---|---|---|
| committer | Darin Swanson | 2003-03-05 21:57:20 +0000 |
| commit | 944b0963d20b9588c012796cabcf6226be7b60f5 (patch) | |
| tree | ecbde6d9dd9d99a6f12aad6e97a038844bcacf6e /org.eclipse.ui.externaltools/plugin.xml | |
| parent | a74ef972214762234e0375e77b1ab044524759b5 (diff) | |
| download | eclipse.platform.debug-944b0963d20b9588c012796cabcf6226be7b60f5.tar.gz eclipse.platform.debug-944b0963d20b9588c012796cabcf6226be7b60f5.tar.xz eclipse.platform.debug-944b0963d20b9588c012796cabcf6226be7b60f5.zip | |
Bug 33861 - [External Tools] Pref page too prominent
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index 1439ce390..646ce945f 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -153,7 +153,8 @@ <page id="org.eclipse.ui.externaltools.ExternalToolsPreferencePage" name="%PreferencePage.externalToolsPreferences" - class="org.eclipse.ui.externaltools.internal.ui.ExternalToolsPreferencePage"> + class="org.eclipse.ui.externaltools.internal.ui.ExternalToolsPreferencePage" + category="org.eclipse.ui.preferencePages.Workbench"> </page> <page id="org.eclipse.ui.externaltools.AntPreferencePage" |