diff options
author | itrimble | 2007-04-26 22:15:10 +0000 |
---|---|---|
committer | itrimble | 2007-04-26 22:15:10 +0000 |
commit | d83eb051fe9f41b77011ab4e343edf83d4570dee (patch) | |
tree | 7ce88f453ae6e5cd129dbb7a7e4d67d17529b4d1 | |
parent | 1cf8877929a20e39303c8596d9c948200c3b5ee0 (diff) | |
download | webtools.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.java | 23 |
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(); + } + } |