#1365431 (toshihiro) - PHP Editor crashes Windows with JavaScript 'windows.close()'
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / InternalWebBrowserWorkingCopy.java
index 671f74b..b333362 100644 (file)
@@ -2,10 +2,12 @@ package net.sourceforge.phpeclipse.webbrowser.internal;
 
 import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowser;
 import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowserWorkingCopy;
+
 /**
  * 
  */
-public class InternalWebBrowserWorkingCopy extends InternalWebBrowser implements IInternalWebBrowserWorkingCopy {
+public class InternalWebBrowserWorkingCopy extends InternalWebBrowser implements
+               IInternalWebBrowserWorkingCopy {
        protected InternalWebBrowser browser;
 
        // working copy
@@ -17,7 +19,7 @@ public class InternalWebBrowserWorkingCopy extends InternalWebBrowser implements
        public void setUseNewPage(boolean b) {
                useNewPage = b;
        }
-       
+
        public void setClearHistoryOnExit(boolean b) {
                clearHistory = b;
        }
@@ -25,12 +27,14 @@ public class InternalWebBrowserWorkingCopy extends InternalWebBrowser implements
        public boolean isWorkingCopy() {
                return true;
        }
-       
+
        public IInternalWebBrowserWorkingCopy getWorkingCopy() {
                return this;
        }
 
-       /* (non-Javadoc)
+       /*
+        * (non-Javadoc)
+        * 
         * @see net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy#save()
         */
        public IInternalWebBrowser save() {