Added back some missing keys. from previous cleanup
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / IInternalWebBrowserWorkingCopy.java
1 package net.sourceforge.phpeclipse.webbrowser;
2
3 /**
4  * 
5  */
6 public interface IInternalWebBrowserWorkingCopy extends IInternalWebBrowser {
7         public void setUseNewPage(boolean b);
8
9         public void setClearHistoryOnExit(boolean b);
10
11         public IInternalWebBrowser save();
12 }