Integrate webbrowser version from the webtools project
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / org / eclipse / webbrowser / IInternalWebBrowser.java
1 package org.eclipse.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 }