intial source from htp://www.sf.net/projects/wdte
[phpeclipse.git] / 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 }