[jbosstools-commits] JBoss Tools SVN: r8815 - trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor.
Author: mareshkau
Date: 2008-06-17 11:42:49 -0400 (Tue, 17 Jun 2008)
New Revision: 8815
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
Log:
code adjustment
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
15:30:49 UTC (rev 8814)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2008-06-17
15:42:49 UTC (rev 8815)
@@ -450,6 +450,7 @@
VpeEventBean eventBean = getChangeEvents().getFirst();
if (monitor.isCanceled()) {
getChangeEvents().clear();
+ sourceSelectionChanged();
return Status.CANCEL_STATUS;
}
try {
@@ -464,6 +465,7 @@
}
getChangeEvents().remove(eventBean);
}
+ sourceSelectionChanged();
monitor.done();
return Status.OK_STATUS;