net.sourceforge.phpeclipse.webbrowser/src/org/eclipse/webbrowser/internal/InternalWebBrowser.java

   1 package org.eclipse.webbrowser.internal;
   2
   3 import java.net.URL;
   4
   5 import org.eclipse.ui.IMemento;
   6 import org.eclipse.webbrowser.IInternalWebBrowser;
   7 import org.eclipse.webbrowser.IInternalWebBrowserWorkingCopy;
   8 import org.eclipse.webbrowser.WebBrowserEditorInput;
   9 /**
  10  *
  11  */
  12 public class InternalWebBrowser implements IInternalWebBrowser {
  13         private static final String MEMENTO_NEW_PAGE = "new_page";
  14         private static final String MEMENTO_CLEAR_HISTORY_ON_EXIT = "clear_history";
  15
  16         protected boolean useNewPage;
  17         protected boolean clearHistory;
  18
  19         /* (non-Javadoc)
  20          * @see org.eclipse.webbrowser.IWebBrowser#getName()
  21          */
  22         public String getName() {
  23                 return WebBrowserUIPlugin.getResource("%internalWebBrowserName");
  24         }
  25
  26         public boolean getUseNewPage() {
  27                 return useNewPage;
  28         }
  29
  30         public boolean getClearHistoryOnExit() {
  31                 return clearHistory;
  32         }
  33
  34         public boolean isWorkingCopy() {
  35                 return false;
  36         }
  37
  38         public IInternalWebBrowserWorkingCopy getWorkingCopy() {
  39                 return new InternalWebBrowserWorkingCopy(this);
  40         }
  41
  42         protected void setInternal(IInternalWebBrowser browser) {
  43                 useNewPage = browser.getUseNewPage();
  44                 clearHistory = browser.getClearHistoryOnExit();
  45         }
  46
  47         /* (non-Javadoc)
  48          * @see org.eclipse.webbrowser.IWebBrowser#openURL(java.net.URL)
  49          */
  50         public void openURL(URL url) {
  51                 WebBrowserEditor.open(new WebBrowserEditorInput(url));
  52         }
  53
  54         protected void save(IMemento memento) {
  55                 memento.putString(MEMENTO_NEW_PAGE, useNewPage ? "true" : "false");
  56                 memento.putString(MEMENTO_CLEAR_HISTORY_ON_EXIT, clearHistory ? "true" : "false");
  57         }
  58
  59         protected void load(IMemento memento) {
  60                 String s = memento.getString(MEMENTO_NEW_PAGE);
  61                 if ("true".equals(s))
  62                         useNewPage = true;
  63                 else
  64                         useNewPage = false;
  65
  66                 s = memento.getString(MEMENTO_CLEAR_HISTORY_ON_EXIT);
  67                 if ("true".equals(s))
  68                         clearHistory = true;
  69                 else
  70                         clearHistory = false;
  71         }
  72
  73         public String toString() {
  74                 return "Internal Web browser";
  75         }
  76 }