import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUtil;
import org.eclipse.core.resources.IFile;
+import org.eclipse.swt.browser.CloseWindowListener;
import org.eclipse.swt.browser.ProgressListener;
import org.eclipse.swt.browser.StatusTextListener;
import org.eclipse.swt.browser.TitleListener;
+import org.eclipse.swt.browser.WindowEvent;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.ui.part.IShowInTarget;
import org.eclipse.ui.part.ShowInContext;
try {
if (WebBrowserUtil.isInternalBrowserOperational()) {
fInstance = new WebBrowser(frame, true, true);
+ // #1365431 (toshihiro) start
+ fInstance.getBrowser().addCloseWindowListener(
+ new CloseWindowListener() {
+ public void close(WindowEvent event) {
+ getViewSite().getPage().hideView(
+ BrowserView.this);
+ }
+ });
+ // #1365431 (toshihiro) end
}
} catch (Exception e) {
fInstance = null;