+++ /dev/null
-package org.eclipse.webbrowser;
-/**
- *
- */
-public interface IInternalWebBrowserWorkingCopy extends IInternalWebBrowser {
- public void setUseNewPage(boolean b);
-
- public void setClearHistoryOnExit(boolean b);
-
- public IInternalWebBrowser save();
-}
\ No newline at end of file