Some serious cleanup on manifests, plugin.xml, build.properties and plugin.properties...
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / IInternalWebBrowser.java
1 package net.sourceforge.phpeclipse.webbrowser;
2 /**
3  * 
4  */
5 public interface IInternalWebBrowser extends IWebBrowser {
6         public boolean getUseNewPage();
7         
8         public boolean getClearHistoryOnExit();
9         
10         public boolean isWorkingCopy();
11         
12         public IInternalWebBrowserWorkingCopy getWorkingCopy();
13 }