Author: sdzmitrovich
Date: 2008-10-20 05:06:55 -0400 (Mon, 20 Oct 2008)
New Revision: 10963
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java
Log:
repaired dump source
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2008-10-20
08:30:04 UTC (rev 10962)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2008-10-20
09:06:55 UTC (rev 10963)
@@ -729,6 +729,7 @@
addSelectionListener();
xulRunnerEditor.addResizerListener();
controller.reinit();
+ setDomDocument(xulRunnerEditor.getDOMDocument());
}