diff options
author | Jonathan Williams | 2014-07-24 21:00:09 +0000 |
---|---|---|
committer | Doug Schaefer | 2014-07-29 18:37:16 +0000 |
commit | cb5eeb1a5d506a395481121081cef398fc5a13e7 (patch) | |
tree | 4b285896589b2cf98f8800b5b143bd69ad49baf6 | |
parent | d82e3738e1a7642a08e42bc7b9ea6b323b573ea7 (diff) | |
download | org.eclipse.cdt-cb5eeb1a5d506a395481121081cef398fc5a13e7.tar.gz org.eclipse.cdt-cb5eeb1a5d506a395481121081cef398fc5a13e7.tar.xz org.eclipse.cdt-cb5eeb1a5d506a395481121081cef398fc5a13e7.zip |
Bug 440393 - Add update mechanisms to force UI updates for activeTarget
and activeLaunchDescriptor.
Change-Id: Idef23b3e8adc4cc2a580bb052ac364824c088023
Signed-off-by: Jonathan Williams <jonwilliams@qnx.com>
Reviewed-on: https://git.eclipse.org/r/30465
Reviewed-by: Doug Schaefer <dschaefer@qnx.com>
Tested-by: Doug Schaefer <dschaefer@qnx.com>
2 files changed, 17 insertions, 0 deletions
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; |