diff options
| author | jszursze | 2002-05-29 18:59:52 +0000 |
|---|---|---|
| committer | jszursze | 2002-05-29 18:59:52 +0000 |
| commit | 936b0323b85e7d22f3c0e031e94419d8a1689a9a (patch) | |
| tree | 9c2f88f26840069a2a3e2a9b90636517321cfae5 /org.eclipse.debug.ui | |
| parent | 4d1740e7f7adda345e2b1eb6fd4ab536f4bd061f (diff) | |
| download | eclipse.platform.debug-936b0323b85e7d22f3c0e031e94419d8a1689a9a.tar.gz eclipse.platform.debug-936b0323b85e7d22f3c0e031e94419d8a1689a9a.tar.xz eclipse.platform.debug-936b0323b85e7d22f3c0e031e94419d8a1689a9a.zip | |
fix for 17794
Diffstat (limited to 'org.eclipse.debug.ui')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java index 3b0cdb4cb..7bb823d90 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationDialog.java @@ -471,9 +471,15 @@ public class LaunchConfigurationDialog extends TitleAreaDialog * management actions - New, Duplicate & Delete.
*/
protected void fillContextMenu(IMenuManager menu) {
- menu.add(getButtonActionNew());
- menu.add(getButtonActionDuplicate());
- menu.add(getButtonActionDelete());
+ if (getButtonActionNew().isEnabled()) {
+ menu.add(getButtonActionNew());
+ }
+ if (getButtonActionDuplicate().isEnabled()) {
+ menu.add(getButtonActionDuplicate());
+ }
+ if (getButtonActionDelete().isEnabled()) {
+ menu.add(getButtonActionDelete());
+ }
}
/**
|