Author: mareshkau
Date: 2007-11-15 09:27:01 -0500 (Thu, 15 Nov 2007)
New Revision: 4916
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java
Log:
http://jira.jboss.com/jira/browse/JBIDE-1317
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 2007-11-15
09:53:05 UTC (rev 4915)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeController.java 2007-11-15
14:27:01 UTC (rev 4916)
@@ -2199,9 +2199,10 @@
public void selectionChanged(SelectionChangedEvent event) {
if (editPart.getVisualMode() != VpeEditorPart.SOURCE_MODE) {
if(toolbarFormatControllerManager != null)
toolbarFormatControllerManager.selectionChanged();
- if(selectionBar != null) selectionBar.selectionChanged();
}
+ if(selectionBar != null) selectionBar.selectionChanged();
+
if (!switcher.startActiveEditor(ActiveEditorSwitcher.ACTIVE_EDITOR_SOURCE)) {
return;
}
@@ -2268,13 +2269,13 @@
* and in process event handles some components are repainted(like buttons)
* and flasher are not repainted, so we should paint flasher
*/
- Display.getCurrent().asyncExec(new Thread(){
+
+ Display.getDefault().asyncExec(new Thread(){
public void run(){
getXulRunnerEditor().showSelectionRectangle();
}
});
-// getXulRunnerEditor().showSelectionRectangle();
}