Author: yradtsevich
Date: 2009-02-17 08:49:16 -0500 (Tue, 17 Feb 2009)
New Revision: 13637
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
Log:
RESOLVED - issue JBIDE-3758: VPE autorefresh is broken in some cases
https://jira.jboss.org/jira/browse/JBIDE-3758
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2009-02-17
07:20:21 UTC (rev 13636)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2009-02-17
13:49:16 UTC (rev 13637)
@@ -464,7 +464,13 @@
monitor.worked((int) (100 / getChangeEvents().size()));
VpeEventBean eventBean = getChangeEvents().getFirst();
if (monitor.isCanceled()) {
- getChangeEvents().clear();
+ /*
+ * Yahor Radtsevich: the following line is commented
+ * as fix of JBIDE-3758: VPE autorefresh is broken in some cases.
+ * Now if the change events queue should be cleared, the user have to do it
explicitly.
+ */
+ // getChangeEvents().clear();
+
return Status.CANCEL_STATUS;
}
try {