Author: bbrodt
Date: 2010-11-23 15:04:51 -0500 (Tue, 23 Nov 2010)
New Revision: 26858
Modified:
branches/jbosstools-3.2.0.Beta2/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java
Log:
https://jira.jboss.org/browse/JBIDE-7724
synchronize access to image and color registries
Modified:
branches/jbosstools-3.2.0.Beta2/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java
===================================================================
---
branches/jbosstools-3.2.0.Beta2/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java 2010-11-23
20:03:11 UTC (rev 26857)
+++
branches/jbosstools-3.2.0.Beta2/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java 2010-11-23
20:04:51 UTC (rev 26858)
@@ -99,7 +99,8 @@
* @see org.eclipse.ui.plugin.AbstractUIPlugin#getImageRegistry()
*/
@Override
- public ImageRegistry getImageRegistry() {
+ //
https://jira.jboss.org/browse/JBIDE-7724
+ public synchronized ImageRegistry getImageRegistry() {
ImageRegistry result = super.getImageRegistry();
initialize();
return result;
@@ -109,7 +110,8 @@
* Return color registry.
* @return the color registry.
*/
- public ColorRegistry getColorRegistry() {
+ //
https://jira.jboss.org/browse/JBIDE-7724
+ public synchronized ColorRegistry getColorRegistry() {
if (colorRegistry == null) {
colorRegistry = new ColorRegistry();
initialize();