mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 14:25:37 +02:00
Code Issues Wiki Activity

Bug 466489 - Filter out external tools builders.

Browse source 
Change-Id: Id14a01246c013fc47c76f693dc7f9d063f361163
This commit is contained in:
Doug Schaefer 2016-01-20 16:55:53 -05:00
parent f16f7a86c8
commit 92d08ca430
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
bundles/org.eclipse.launchbar.core/src/org/eclipse/launchbar/core/internal/DefaultLaunchDescriptorType.java
View file

@ -15,6 +15,7 @@ import java.util.Map;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.debug.core.ILaunchConfiguration;
import org.eclipse.debug.core.ILaunchConfigurationType;
import org.eclipse.debug.core.ILaunchManager;
import org.eclipse.launchbar.core.ILaunchDescriptor;
import org.eclipse.launchbar.core.ILaunchDescriptorType;
@ -34,8 +35,15 @@ public class DefaultLaunchDescriptorType implements ILaunchDescriptorType {
if (launchObject instanceof ILaunchConfiguration) {
ILaunchConfiguration config = (ILaunchConfiguration) launchObject;
try {
if (config.getType() != null && config.getType().isPublic()
&& !(config.getAttribute(ILaunchManager.ATTR_PRIVATE, false))) {
ILaunchConfigurationType type = config.getType();
if (type == null) {
return null;
}
// Filter out private and external tools builders
String category = type.getCategory();
if (type.isPublic() && !(config.getAttribute(ILaunchManager.ATTR_PRIVATE, false))
&& !("org.eclipse.ui.externaltools.builder".equals(category))) { //$NON-NLS-1$
DefaultLaunchDescriptor descriptor = descriptors.get(config);
if (descriptor == null) {