Author: bbrodt
Date: 2010-10-20 13:11:53 -0400 (Wed, 20 Oct 2010)
New Revision: 25949
Modified:
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/palette/GraphicalEditorWithPalette.java
Log:
https://jira.jboss.org/browse/JBIDE-7254
Modified:
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/palette/GraphicalEditorWithPalette.java
===================================================================
---
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/palette/GraphicalEditorWithPalette.java 2010-10-20
17:03:39 UTC (rev 25948)
+++
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/palette/GraphicalEditorWithPalette.java 2010-10-20
17:11:53 UTC (rev 25949)
@@ -128,7 +128,12 @@
@Override
public void selectionChanged(IWorkbenchPart part, ISelection selection) {
- updateActions(getSelectionActions());
+ //
https://jira.jboss.org/browse/JBIDE-7254
+ getSite().getShell().getDisplay().asyncExec(new Runnable() {
+ public void run() {
+ updateActions(getSelectionActions());
+ }
+ });
}
@Override