diff options
author | Dani Megert | 2011-05-09 09:36:20 +0000 |
---|---|---|
committer | Dani Megert | 2011-05-09 09:36:20 +0000 |
commit | 01b4cc91a8780c82ca183531b4099656fc939325 (patch) | |
tree | eae5b3a766a91abd954fb8e2fb9686ebea669ac1 /org.eclipse.debug.ui/plugin.xml | |
parent | faeda68fc2ccf45b564ae54ab66a7f49818689b4 (diff) | |
download | eclipse.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.xml | 19 |
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> |