83ed6112ae0f4da41b8fdde2c5f290e58d3263b9
[phpeclipse.git] /
1 package net.sourceforge.phpeclipse.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 }