Author: mareshkau
Date: 2008-06-17 12:31:10 -0400 (Tue, 17 Jun 2008)
New Revision: 8817
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:55:56 UTC (rev 8816)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2008-06-17
16:31:10 UTC (rev 8817)
@@ -450,7 +450,6 @@
VpeEventBean eventBean = getChangeEvents().getFirst();
if (monitor.isCanceled()) {
getChangeEvents().clear();
- sourceSelectionChanged();
return Status.CANCEL_STATUS;
}
try {
@@ -465,7 +464,6 @@
}
getChangeEvents().remove(eventBean);
}
- sourceSelectionChanged();
monitor.done();
return Status.OK_STATUS;
Show replies by date