Author: sdzmitrovich
Date: 2008-06-28 06:39:08 -0400 (Sat, 28 Jun 2008)
New Revision: 8995
Modified:
branches/jbosstools-2.1.x/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:
branches/jbosstools-2.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java
===================================================================
---
branches/jbosstools-2.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2008-06-27
20:21:13 UTC (rev 8994)
+++
branches/jbosstools-2.1.x/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/mozilla/MozillaEditor.java 2008-06-28
10:39:08 UTC (rev 8995)
@@ -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);
}
}
@@ -665,6 +664,7 @@
public void reload() {
doctype = DocTypeUtil.getDoctype(getEditorInput());
+ setRefreshPage(true);
xulRunnerEditor.setText(doctype
+ DocTypeUtil.getContentInitFile(new File(INIT_URL)));
@@ -677,4 +677,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