X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/InternalWebBrowser.java b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/InternalWebBrowser.java index 05a02ac..de5958b 100644 --- a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/InternalWebBrowser.java +++ b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/InternalWebBrowser.java @@ -7,31 +7,36 @@ import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowserWorkingCopy; import net.sourceforge.phpeclipse.webbrowser.WebBrowserEditorInput; import org.eclipse.ui.IMemento; + /** * */ public class InternalWebBrowser implements IInternalWebBrowser { private static final String MEMENTO_NEW_PAGE = "new_page"; + private static final String MEMENTO_CLEAR_HISTORY_ON_EXIT = "clear_history"; protected boolean useNewPage; + protected boolean clearHistory; - /* (non-Javadoc) + /* + * (non-Javadoc) + * * @see net.sourceforge.phpeclipse.webbrowser.IWebBrowser#getName() */ public String getName() { return WebBrowserUIPlugin.getResource("%internalWebBrowserName"); } - + public boolean getUseNewPage() { return useNewPage; } - + public boolean getClearHistoryOnExit() { return clearHistory; } - + public boolean isWorkingCopy() { return false; } @@ -39,22 +44,25 @@ public class InternalWebBrowser implements IInternalWebBrowser { public IInternalWebBrowserWorkingCopy getWorkingCopy() { return new InternalWebBrowserWorkingCopy(this); } - + protected void setInternal(IInternalWebBrowser browser) { useNewPage = browser.getUseNewPage(); clearHistory = browser.getClearHistoryOnExit(); } - /* (non-Javadoc) + /* + * (non-Javadoc) + * * @see net.sourceforge.phpeclipse.webbrowser.IWebBrowser#openURL(java.net.URL) */ public void openURL(URL url) { WebBrowserEditor.open(new WebBrowserEditorInput(url)); } - + protected void save(IMemento memento) { memento.putString(MEMENTO_NEW_PAGE, useNewPage ? "true" : "false"); - memento.putString(MEMENTO_CLEAR_HISTORY_ON_EXIT, clearHistory ? "true" : "false"); + memento.putString(MEMENTO_CLEAR_HISTORY_ON_EXIT, clearHistory ? "true" + : "false"); } protected void load(IMemento memento) { @@ -63,14 +71,14 @@ public class InternalWebBrowser implements IInternalWebBrowser { useNewPage = true; else useNewPage = false; - + s = memento.getString(MEMENTO_CLEAR_HISTORY_ON_EXIT); if ("true".equals(s)) clearHistory = true; else clearHistory = false; } - + public String toString() { return "Internal Web browser"; }