diff options
author | Darin Wright | 2008-05-06 18:59:17 +0000 |
---|---|---|
committer | Darin Wright | 2008-05-06 18:59:17 +0000 |
commit | 38395b71ae99ed0336247213c789299745411071 (patch) | |
tree | 86436274587e0a6303a6006716c671435c2d4fab /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences | |
parent | 7d4fae350c4fc4cc726e59871ae7eb59af1f8ac0 (diff) | |
download | eclipse.platform.debug-38395b71ae99ed0336247213c789299745411071.tar.gz eclipse.platform.debug-38395b71ae99ed0336247213c789299745411071.tar.xz eclipse.platform.debug-38395b71ae99ed0336247213c789299745411071.zip |
Bug 229363 - Run/Debug settings page should not be visible for .jpage files
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/RunDebugPropertiesPage.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/RunDebugPropertiesPage.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/RunDebugPropertiesPage.java index b5a1ff4fb..a50202b38 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/RunDebugPropertiesPage.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/RunDebugPropertiesPage.java @@ -119,6 +119,7 @@ public class RunDebugPropertiesPage extends PropertyPage { layout.marginHeight = 0; fNewButton = SWTFactory.createPushButton(buttonComp, DebugPreferencesMessages.DefaultLaunchConfigurationsPropertiesPage_2, null); fNewButton.setToolTipText(DebugPreferencesMessages.DefaultLaunchConfigurationsPropertiesPage_3); + fNewButton.setEnabled(collectTypeCandidates().size() > 0); fNewButton.addSelectionListener(new SelectionListener() { public void widgetDefaultSelected(SelectionEvent e) {} public void widgetSelected(SelectionEvent e) { |