diff options
author | Ken Ryall | 2010-12-16 17:42:16 +0000 |
---|---|---|
committer | Ken Ryall | 2010-12-16 17:42:16 +0000 |
commit | 13fd6e708ed4b27de2de4a5a86a24d7e7e7e642f (patch) | |
tree | 5ae9b0e0f44f62347b138c4f8eccb8313d214bcb /launch/org.eclipse.cdt.launch/src | |
parent | 78e179050aa0be82084c67137d653ff0d595536f (diff) | |
download | org.eclipse.cdt-13fd6e708ed4b27de2de4a5a86a24d7e7e7e642f.tar.gz org.eclipse.cdt-13fd6e708ed4b27de2de4a5a86a24d7e7e7e642f.tar.xz org.eclipse.cdt-13fd6e708ed4b27de2de4a5a86a24d7e7e7e642f.zip |
Don't enable activities when the workbench isn't running.
Diffstat (limited to 'launch/org.eclipse.cdt.launch/src')
-rw-r--r-- | launch/org.eclipse.cdt.launch/src/org/eclipse/cdt/launch/LaunchUtils.java | 31 |
1 files changed, 17 insertions, 14 deletions
diff --git a/launch/org.eclipse.cdt.launch/src/org/eclipse/cdt/launch/LaunchUtils.java b/launch/org.eclipse.cdt.launch/src/org/eclipse/cdt/launch/LaunchUtils.java index d5fb53c28aa..9d60f2bc167 100644 --- a/launch/org.eclipse.cdt.launch/src/org/eclipse/cdt/launch/LaunchUtils.java +++ b/launch/org.eclipse.cdt.launch/src/org/eclipse/cdt/launch/LaunchUtils.java @@ -124,20 +124,23 @@ public class LaunchUtils { @SuppressWarnings("unchecked") public static void enableActivity(final String activityID, final boolean enableit) { - PlatformUI.getWorkbench().getDisplay().asyncExec(new Runnable() { - public void run() { - IWorkbenchActivitySupport workbenchActivitySupport = PlatformUI.getWorkbench().getActivitySupport(); - IActivityManager activityManager = workbenchActivitySupport.getActivityManager(); - Set<String> enabledActivityIds = new HashSet<String>(activityManager.getEnabledActivityIds()); - boolean changed = false; - if (enableit) - changed = enabledActivityIds.add(activityID); - else - changed = enabledActivityIds.remove(activityID); - if (changed) - workbenchActivitySupport.setEnabledActivityIds(enabledActivityIds); - } - }); + if (PlatformUI.isWorkbenchRunning()) + { + PlatformUI.getWorkbench().getDisplay().asyncExec(new Runnable() { + public void run() { + IWorkbenchActivitySupport workbenchActivitySupport = PlatformUI.getWorkbench().getActivitySupport(); + IActivityManager activityManager = workbenchActivitySupport.getActivityManager(); + Set<String> enabledActivityIds = new HashSet<String>(activityManager.getEnabledActivityIds()); + boolean changed = false; + if (enableit) + changed = enabledActivityIds.add(activityID); + else + changed = enabledActivityIds.remove(activityID); + if (changed) + workbenchActivitySupport.setEnabledActivityIds(enabledActivityIds); + } + }); + } } |