diff options
| author | Jared Burns | 2004-03-31 23:16:48 +0000 |
|---|---|---|
| committer | Jared Burns | 2004-03-31 23:16:48 +0000 |
| commit | a7433ab894f1f27585fd9debe05436fb1cb44b64 (patch) | |
| tree | 4d7404b083e239e8a1356d6c0b5c73e5f30bb611 /org.eclipse.debug.ui/plugin.xml | |
| parent | 7598f8389fc6e703f53fd62e5c8425eb36be3d8e (diff) | |
| download | eclipse.platform.debug-a7433ab894f1f27585fd9debe05436fb1cb44b64.tar.gz eclipse.platform.debug-a7433ab894f1f27585fd9debe05436fb1cb44b64.tar.xz eclipse.platform.debug-a7433ab894f1f27585fd9debe05436fb1cb44b64.zip | |
Bug 30639 - Debug preference pages cut of in High Contrast
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
| -rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 0ab4961f8..fedd767a5 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -115,6 +115,12 @@ id="org.eclipse.debug.ui.DebugPreferencePage"> </page> <page + name="%LaunchingPreferencePage.name" + category="org.eclipse.debug.ui.DebugPreferencePage" + class="org.eclipse.debug.internal.ui.preferences.LaunchingPreferencePage" + id="org.eclipse.debug.ui.LaunchingPreferencePage"> + </page> + <page name="%ConsolePreferencePage.name" category="org.eclipse.debug.ui.DebugPreferencePage" class="org.eclipse.debug.internal.ui.preferences.ConsolePreferencePage" |