Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2011-01-31 04:04:31 -0500
committerDani Megert2011-01-31 04:04:31 -0500
commitcb9cf53ed2e361a1d6ed1615e4b56cc0ca88a8c2 (patch)
tree376f10c962f97e2ea17aeb910734ad8d11fba66e
parentfd1f6b7188aef2a22b45bc857256ff0ac0c271af (diff)
downloadeclipse.platform.debug-cb9cf53ed2e361a1d6ed1615e4b56cc0ca88a8c2.tar.gz
eclipse.platform.debug-cb9cf53ed2e361a1d6ed1615e4b56cc0ca88a8c2.tar.xz
eclipse.platform.debug-cb9cf53ed2e361a1d6ed1615e4b56cc0ca88a8c2.zip
Committed Szymon's patch to fix bug 334362: Properties dialog: properties for closed project are sometimes wrong
-rw-r--r--org.eclipse.debug.ui/plugin.xml6
1 files changed, 5 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml
index ded36e5bc..9b563ee4d 100644
--- a/org.eclipse.debug.ui/plugin.xml
+++ b/org.eclipse.debug.ui/plugin.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<!--
- Copyright (c) 2005, 2010 IBM Corporation and others.
+ Copyright (c) 2005, 2011 IBM Corporation and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
@@ -1584,6 +1584,10 @@
id="org.eclipse.debug.ui.properties.defaultLaunchConfigurations"
name="%DefaultLaunchConfigurationsPropPage.name"
>
+ <filter
+ name="open"
+ value="true">
+ </filter>
<enabledWhen>
<and>
<adapt

Back to the top