bug fix 1403993, scanner wrongly detected XML comment end, when closing > was still...
[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 }