PATCH-1559330: PHPDoc comments are garbled in function hover. Applied patch .
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / IInternalWebBrowser.java
1 package net.sourceforge.phpeclipse.webbrowser;
2
3 /**
4  * 
5  */
6 public interface IInternalWebBrowser extends IWebBrowser {
7         public boolean getUseNewPage();
8
9         public boolean getClearHistoryOnExit();
10
11         public boolean isWorkingCopy();
12
13         public IInternalWebBrowserWorkingCopy getWorkingCopy();
14 }