Author: sdzmitrovich Date: 2008-06-28 07:02:23 -0400 (Sat, 28 Jun 2008) New Revision: 8996 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java Log: http://jira.jboss.com/jira/browse/JBIDE-2455 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-06-28 10:39:08 UTC (rev 8995) +++ trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2008-06-28 11:02:23 UTC (rev 8996) @@ -88,7 +88,7 @@ private VpeController controller; private Link link = null; private boolean loaded; - private boolean loadPage; + private boolean isRefreshPage = false; private String doctype; public void doSave(IProgressMonitor monitor) { @@ -215,18 +215,17 @@ cmpEd.setBackground(buttonDarker); try { - loadPage = true; xulRunnerEditor = new XulRunnerEditor(cmpEd) { public void onLoadWindow() { // if the first load page - if (loadPage) { + if (!isRefreshPage()) { super.onLoadWindow(); MozillaEditor.this.onLoadWindow(); - loadPage = false; } // if only refresh page else { MozillaEditor.this.onReloadWindow(); + setRefreshPage(false); } } @@ -677,4 +676,12 @@ public String getDoctype() { return doctype; } + + public boolean isRefreshPage() { + return isRefreshPage; + } + + public void setRefreshPage(boolean isRefreshPage) { + this.isRefreshPage = isRefreshPage; + } } \ No newline at end of file