Author: yzhishko
Date: 2009-11-05 07:50:16 -0500 (Thu, 05 Nov 2009)
New Revision: 18413
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java
Log:
https://jira.jboss.org/jira/browse/JBIDE-5142 fixed
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2009-11-05
02:27:35 UTC (rev 18412)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2009-11-05
12:50:16 UTC (rev 18413)
@@ -1156,6 +1156,9 @@
if (controller != null
&& !controller.isVisualEditorVisible()) {
controller.setVisualEditorVisible(true);
+ if (controller.getSelectionManager()!=null) {
+ controller.getSelectionManager().refreshVisualSelection();
+ }
if (!controller.isSynced()) {
controller.visualRefresh();
}