#1365431 (toshihiro) - PHP Editor crashes Windows with JavaScript 'windows.close()'

[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / InternalWebBrowser.java

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 (file)
--- 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";
        }