*** empty log message ***
[phpeclipse.git] / 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 }