diff options
| -rw-r--r-- | org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java b/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java index d04e429e8..5603c572d 100644 --- a/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java +++ b/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java @@ -562,9 +562,13 @@ public final class BuilderPropertyPage extends PropertyPage implements ICheckSta userHasMadeChanges= true; //retrieve the last "new" config //may have been changed by the user pressing apply in the edit dialog - config= (ILaunchConfiguration)newConfigList.get(newConfigList.size() - 1); - viewer.add(config); - viewer.setChecked(config, isEnabled(config)); + Display.getDefault().asyncExec(new Runnable() { + public void run() { + ILaunchConfiguration updatedConfig= (ILaunchConfiguration)newConfigList.get(newConfigList.size() - 1); + viewer.add(updatedConfig); + viewer.setChecked(updatedConfig, isEnabled(updatedConfig)); + } + }); } } catch (CoreException e) { handleException(e); |