#1365431 (toshihiro) - PHP Editor crashes Windows with JavaScript 'windows.close()'
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / InternalWebBrowserWorkingCopy.java
1 package net.sourceforge.phpeclipse.webbrowser.internal;
2
3 import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowser;
4 import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowserWorkingCopy;
5
6 /**
7  * 
8  */
9 public class InternalWebBrowserWorkingCopy extends InternalWebBrowser implements
10                 IInternalWebBrowserWorkingCopy {
11         protected InternalWebBrowser browser;
12
13         // working copy
14         public InternalWebBrowserWorkingCopy(InternalWebBrowser browser) {
15                 this.browser = browser;
16                 setInternal(browser);
17         }
18
19         public void setUseNewPage(boolean b) {
20                 useNewPage = b;
21         }
22
23         public void setClearHistoryOnExit(boolean b) {
24                 clearHistory = b;
25         }
26
27         public boolean isWorkingCopy() {
28                 return true;
29         }
30
31         public IInternalWebBrowserWorkingCopy getWorkingCopy() {
32                 return this;
33         }
34
35         /*
36          * (non-Javadoc)
37          * 
38          * @see net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy#save()
39          */
40         public IInternalWebBrowser save() {
41                 if (browser != null) {
42                         browser.setInternal(this);
43                         BrowserManager.getInstance().browserChanged(browser);
44                 }
45                 return browser;
46         }
47 }