Author: scabanovich Date: 2009-02-04 11:49:22 -0500 (Wed, 04 Feb 2009) New Revision: 13474 Modified: trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java Log: JBIDE-3730 Modified: trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java =================================================================== --- trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java 2009-02-04 16:11:56 UTC (rev 13473) +++ trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java 2009-02-04 16:49:22 UTC (rev 13474) @@ -14,7 +14,9 @@ import org.eclipse.core.resources.*; import org.eclipse.core.runtime.CoreException; +import org.jboss.tools.common.model.XJob; import org.jboss.tools.common.model.XModelObject; +import org.jboss.tools.common.model.XJob.XRunnable; import org.jboss.tools.common.model.impl.XModelObjectImpl; import org.jboss.tools.common.model.plugin.ModelPlugin; import org.jboss.tools.common.model.util.EclipseResourceUtil; @@ -39,7 +41,18 @@ } public void resourceChanged(IResourceChangeEvent event) { - reload(); + if(ResourcesPlugin.getWorkspace().isTreeLocked()) { + XJob.addRunnable(new XRunnable() { + public String getId() { + return "XMarkerManager"; + } + public void run() { + reload(); + } + }); + } else { + reload(); + } } public void reload() {