net.sourceforge.phpeclipse.webbrowser/src/org/eclipse/webbrowser/IInternalWebBrowserWorkingCopy.java

   1 package org.eclipse.webbrowser;
   2 /**
   3  *
   4  */
   5 public interface IInternalWebBrowserWorkingCopy extends IInternalWebBrowser {
   6         public void setUseNewPage(boolean b);
   7
   8         public void setClearHistoryOnExit(boolean b);
   9
  10         public IInternalWebBrowser save();
  11 }