avoid NullPointerException in debug
[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 }