9c996d2f47778d80d3bcb9760ea85bbc025b789c
[phpeclipse.git] /
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 }