Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoritrimble2007-04-26 22:15:10 +0000
committeritrimble2007-04-26 22:15:10 +0000
commitd83eb051fe9f41b77011ab4e343edf83d4570dee (patch)
tree7ce88f453ae6e5cd129dbb7a7e4d67d17529b4d1
parent1cf8877929a20e39303c8596d9c948200c3b5ee0 (diff)
downloadwebtools.jsf-d83eb051fe9f41b77011ab4e343edf83d4570dee.tar.gz
webtools.jsf-d83eb051fe9f41b77011ab4e343edf83d4570dee.tar.xz
webtools.jsf-d83eb051fe9f41b77011ab4e343edf83d4570dee.zip
Fix for bug# 180235.v20070502
-rw-r--r--jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java23
1 files changed, 23 insertions, 0 deletions
diff --git a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
index 3dce64380..14555738a 100644
--- a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
+++ b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
@@ -13,6 +13,8 @@ package org.eclipse.jst.pagedesigner.editors;
import java.io.File;
import java.io.InputStream;
+import java.util.ArrayList;
+import java.util.Iterator;
import java.util.List;
import org.eclipse.core.internal.resources.ResourceException;
@@ -127,6 +129,8 @@ public class HTMLEditor extends PostSelectionMultiPageEditorPart implements
private WindowsIEBrowser _browser;
+ private List PREVIEW_FILES_LIST = new ArrayList();
+
// TODO:This class is never used locally
// private class TextInputListener implements ITextInputListener {
// public void inputDocumentAboutToBeChanged(IDocument oldInput,
@@ -402,6 +406,9 @@ public class HTMLEditor extends PostSelectionMultiPageEditorPart implements
}
public void dispose() {
+
+ deletePreviewFiles();
+
disconnectDesignPage();
IWorkbenchWindow window = getSite().getWorkbenchWindow();
@@ -914,6 +921,9 @@ public class HTMLEditor extends PostSelectionMultiPageEditorPart implements
*/
protected void pageChange(int newPageIndex) {
super.pageChange(newPageIndex);
+
+ deletePreviewFiles();
+
if (newPageIndex == _previewPageIndex) {
// preview page activate, need to regenerate the preview text and
// display it.
@@ -935,6 +945,7 @@ public class HTMLEditor extends PostSelectionMultiPageEditorPart implements
}
File file = PreviewUtil.toFile(result, getEditorInput());
if (file != null) {
+ PREVIEW_FILES_LIST.add(file);
_browser.loadFile(file);
} else {
_browser.getBrowser().setUrl("about:blank"); //$NON-NLS-1$
@@ -1007,4 +1018,16 @@ public class HTMLEditor extends PostSelectionMultiPageEditorPart implements
}
return super.getPartName();
}
+
+ private void deletePreviewFiles() {
+ Iterator itPreviewFiles = PREVIEW_FILES_LIST.iterator();
+ while (itPreviewFiles.hasNext()) {
+ File file = (File)itPreviewFiles.next();
+ if (file != null && file.exists()) {
+ file.delete();
+ }
+ }
+ PREVIEW_FILES_LIST.clear();
+ }
+
}

Back to the top