mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-29 20:05:35 +02:00
Code Issues Wiki Activity

Persist active target selection.

Browse source
This commit is contained in:
Doug Schaefer 2014-07-01 20:00:45 -04:00
parent 2f995b6acb
commit 4e8156ebbd
1 changed files with 31 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
launch/org.eclipse.cdt.launchbar.core/src/org/eclipse/cdt/launchbar/core/internal/LaunchBarManager.java
View file

@ -277,6 +277,19 @@ public class LaunchBarManager extends PlatformObject implements ILaunchBarManage
} }
} }
// Set active target
String activeTargetId = store.node(activeConfigDesc.getName()).get(PREF_ACTIVE_LAUNCH_TARGET, null);
ILaunchTarget target = null;
if (activeTargetId != null) {
target = activeConfigDesc.getLaunchTarget(activeTargetId);
}
if (target == null) {
ILaunchTarget[] targets = activeConfigDesc.getLaunchTargets();
if (targets.length > 0) {
target = targets[0];
}
}
setActiveLaunchTarget(target);
} }
@Override @Override
@ -344,6 +357,7 @@ public class LaunchBarManager extends PlatformObject implements ILaunchBarManage
e.printStackTrace(); e.printStackTrace();
} }
activeConfigDesc.setActiveLaunchMode(mode);
for (Listener listener : listeners) for (Listener listener : listeners)
listener.activeLaunchModeChanged(); listener.activeLaunchModeChanged();
} }
@ -363,8 +377,25 @@ public class LaunchBarManager extends PlatformObject implements ILaunchBarManage
@Override @Override
public void setActiveLaunchTarget(ILaunchTarget target) { public void setActiveLaunchTarget(ILaunchTarget target) {
if (activeLaunchTarget == target) return;
activeLaunchTarget = target; activeLaunchTarget = target;
Preferences store = InstanceScope.INSTANCE.getNode(Activator.PLUGIN_ID).node(activeConfigDesc.getName());
if (target != null) {
store.put(PREF_ACTIVE_LAUNCH_TARGET, target.getId());
} else {
store.remove(PREF_ACTIVE_LAUNCH_TARGET);
}
try {
store.flush();
} catch (BackingStoreException e) {
// TODO log
e.printStackTrace();
}
activeConfigDesc.setActiveLaunchTarget(target); activeConfigDesc.setActiveLaunchTarget(target);
for (Listener listener : listeners)
listener.activeLaunchTargetChanged();
} }
public static LocalTarget getLocalLaunchTarget() { public static LocalTarget getLocalLaunchTarget() {