diff --git a/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/ILaunchBarManager.java b/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/ILaunchBarManager.java index da5faf23330..70598495032 100644 --- a/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/ILaunchBarManager.java +++ b/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/ILaunchBarManager.java @@ -23,6 +23,8 @@ public interface ILaunchBarManager extends IAdaptable { ILaunchDescriptor getActiveLaunchDescriptor() throws CoreException; void setActiveLaunchDescriptor(ILaunchDescriptor configDesc) throws CoreException; + + void updateLaunchDescriptor(ILaunchDescriptor configDesc) throws CoreException; ILaunchMode[] getLaunchModes() throws CoreException; @@ -37,6 +39,8 @@ public interface ILaunchBarManager extends IAdaptable { ILaunchTarget getActiveLaunchTarget() throws CoreException; void setActiveLaunchTarget(ILaunchTarget target) throws CoreException; + + void updateLaunchTarget(ILaunchTarget target) throws CoreException; ILaunchConfigurationType getLaunchConfigurationType(ILaunchDescriptor descriptor, ILaunchTarget target) throws CoreException; diff --git a/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/internal/LaunchBarManager.java b/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/internal/LaunchBarManager.java index c0ae5290052..1d05a680497 100644 --- a/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/internal/LaunchBarManager.java +++ b/launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/internal/LaunchBarManager.java @@ -389,6 +389,13 @@ public class LaunchBarManager extends PlatformObject implements ILaunchBarManage protected IEclipsePreferences getPreferenceStore() { return InstanceScope.INSTANCE.getNode(Activator.PLUGIN_ID); } + + @Override + public void updateLaunchDescriptor(ILaunchDescriptor configDesc) { + for (Listener listener : listeners) { + listener.activeConfigurationDescriptorChanged(); + } + } @Override public ILaunchMode[] getLaunchModes() throws CoreException { @@ -502,6 +509,12 @@ public class LaunchBarManager extends PlatformObject implements ILaunchBarManage setPreference(getPreferenceStore().node(activeLaunchDesc.getName()), PREF_ACTIVE_LAUNCH_TARGET, target.getId()); } + + @Override + public void updateLaunchTarget(ILaunchTarget target) { + for (Listener listener : listeners) + listener.activeLaunchTargetChanged(); + } protected ILaunchTarget getDeafultLaunchTarget() { ILaunchTarget target = null;