git.phpeclipse.com Git - phpeclipse.git/blob

   1 package org.eclipse.webbrowser.internal;
   2
   3 import org.eclipse.webbrowser.IExternalWebBrowser;
   4 import org.eclipse.webbrowser.IExternalWebBrowserWorkingCopy;
   5 /**
   6  *
   7  */
   8 public class ExternalWebBrowserWorkingCopy extends ExternalWebBrowser implements IExternalWebBrowserWorkingCopy {
   9         protected ExternalWebBrowser browser;
  10
  11         // creation
  12         public ExternalWebBrowserWorkingCopy() { }
  13
  14         // working copy
  15         public ExternalWebBrowserWorkingCopy(ExternalWebBrowser browser) {
  16                 this.browser = browser;
  17                 setInternal(browser);
  18         }
  19
  20         /* (non-Javadoc)
  21          * @see org.eclipse.webbrowser.IExternalWebBrowserWorkingCopy#setName(java.lang.String)
  22          */
  23         public void setName(String name) {
  24                 this.name = name;
  25         }
  26
  27         /* (non-Javadoc)
  28          * @see org.eclipse.webbrowser.IExternalWebBrowserWorkingCopy#setLocation(java.lang.String)
  29          */
  30         public void setLocation(String location) {
  31                 this.location = location;
  32         }
  33
  34         /* (non-Javadoc)
  35          * @see org.eclipse.webbrowser.IExternalWebBrowserWorkingCopy#setParameters(java.lang.String)
  36          */
  37         public void setParameters(String params) {
  38                 this.parameters = params;
  39         }
  40
  41         public boolean isWorkingCopy() {
  42                 return true;
  43         }
  44
  45         public IExternalWebBrowserWorkingCopy getWorkingCopy() {
  46                 return this;
  47         }
  48
  49         /* (non-Javadoc)
  50          * @see org.eclipse.webbrowser.IExternalWebBrowserWorkingCopy#save()
  51          */
  52         public IExternalWebBrowser save() {
  53                 if (browser != null) {
  54                         browser.setInternal(this);
  55                         BrowserManager.getInstance().browserChanged(browser);
  56                 } else {
  57                         browser = new ExternalWebBrowser();
  58                         browser.setInternal(this);
  59                         BrowserManager.getInstance().addBrowser(browser);
  60                 }
  61                 return browser;
  62         }
  63 }