diff options
author | Patrik Suzzi | 2016-09-26 16:33:58 +0000 |
---|---|---|
committer | Patrik Suzzi | 2016-10-04 07:50:46 +0000 |
commit | 1fa8a8912202a687fa459ce75dc67a89d1bd58c6 (patch) | |
tree | 29882a7116aae79ab512cece2aefbf59ce8538cf | |
parent | 82d9e8c91c6e22d7de8329c00580e5ec94ae385f (diff) | |
download | eclipse.platform.ui-1fa8a8912202a687fa459ce75dc67a89d1bd58c6.tar.gz eclipse.platform.ui-1fa8a8912202a687fa459ce75dc67a89d1bd58c6.tar.xz eclipse.platform.ui-1fa8a8912202a687fa459ce75dc67a89d1bd58c6.zip |
Bug 203771 - When a task is completed, Mark Completed option is enabled
Added a test condition to enable the handler only when the
org.eclipse.ui.ide.marker is NOT marked done.
see: https://bugs.eclipse.org/bugs/attachment.cgi?id=264423
Change-Id: Icab3d88e69b592b8f05c2019e8a61ea89bdfa943
Signed-off-by: Patrik Suzzi <psuzzi@gmail.com>
-rw-r--r-- | bundles/org.eclipse.ui.ide/plugin.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bundles/org.eclipse.ui.ide/plugin.xml b/bundles/org.eclipse.ui.ide/plugin.xml index 8b98f8e4bd3..7720ade10b1 100644 --- a/bundles/org.eclipse.ui.ide/plugin.xml +++ b/bundles/org.eclipse.ui.ide/plugin.xml @@ -2301,6 +2301,13 @@ forcePluginActivation="false" property="org.eclipse.ui.ide.editable"> </test> + <adapt + type="org.eclipse.core.resources.IMarker"> + <test + property="org.eclipse.ui.ide.marker.done" + value="false"> + </test> + </adapt> </iterate> </enabledWhen> </handler> |