Author: mareshkau
Date: 2008-06-17 10:45:31 -0400 (Tue, 17 Jun 2008)
New Revision: 8812
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
Log:
http://jira.jboss.com/jira/browse/JBIDE-2354
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 2008-06-17
13:23:32 UTC (rev 8811)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2008-06-17
14:45:31 UTC (rev 8812)
@@ -438,7 +438,6 @@
if (display != null && (Thread.currentThread() == display.getThread())) {
getChangeEvents().addLast(new VpeEventBean(notifier, eventType, feature,
oldValue,newValue, pos));
-
if(uiJob==null) {
uiJob = new UIJob(VpeUIMessages.VPE_UPDATE_JOB_TITLE){
@Override
@@ -446,7 +445,7 @@
monitor.beginTask(VpeUIMessages.VPE_UPDATE_JOB_TITLE, 100);
while(getChangeEvents().size()>0) {
-
+
monitor.worked((int)(100/getChangeEvents().size()));
VpeEventBean eventBean = getChangeEvents().getFirst();
if (monitor.isCanceled()) {
@@ -1588,6 +1587,7 @@
if(uiJob!=null) {
uiJob.cancel();
+ getChangeEvents().clear();
}
if (!switcher
.startActiveEditor(ActiveEditorSwitcher.ACTIVE_EDITOR_SOURCE)) {