Some serious cleanup on manifests, plugin.xml, build.properties and plugin.properties...
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / IInternalWebBrowserWorkingCopy.java
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 }