Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2011-05-09 09:36:20 +0000
committerDani Megert2011-05-09 09:36:20 +0000
commit01b4cc91a8780c82ca183531b4099656fc939325 (patch)
treeeae5b3a766a91abd954fb8e2fb9686ebea669ac1 /org.eclipse.debug.ui/plugin.xml
parentfaeda68fc2ccf45b564ae54ab66a7f49818689b4 (diff)
downloadeclipse.platform.debug-01b4cc91a8780c82ca183531b4099656fc939325.tar.gz
eclipse.platform.debug-01b4cc91a8780c82ca183531b4099656fc939325.tar.xz
eclipse.platform.debug-01b4cc91a8780c82ca183531b4099656fc939325.zip
Committed Szymon's patch to improve fix for bug 334362: Properties dialog: properties for closed project are sometimes wrong
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
-rw-r--r--org.eclipse.debug.ui/plugin.xml19
1 files changed, 13 insertions, 6 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml
index 9b563ee4d..6357bba15 100644
--- a/org.eclipse.debug.ui/plugin.xml
+++ b/org.eclipse.debug.ui/plugin.xml
@@ -1584,16 +1584,23 @@
id="org.eclipse.debug.ui.properties.defaultLaunchConfigurations"
name="%DefaultLaunchConfigurationsPropPage.name"
>
- <filter
- name="open"
- value="true">
- </filter>
<enabledWhen>
- <and>
+ <or>
<adapt
type="org.eclipse.core.resources.IResource">
+ <not>
+ <instanceof
+ value="org.eclipse.core.resources.IProject">
+ </instanceof>
+ </not>
</adapt>
- </and>
+ <adapt
+ type="org.eclipse.core.resources.IProject">
+ <test
+ property="org.eclipse.core.resources.open">
+ </test>
+ </adapt>
+ </or>
</enabledWhen>
</page>
</extension>

Back to the top