Ignore the bin directory
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / views / BrowserView.java
index 5f13ca2..d9a386e 100644 (file)
@@ -29,7 +29,8 @@ import org.eclipse.ui.part.ViewPart;
 public class BrowserView extends ViewPart {
   public final static String ID_BROWSER = "net.sourceforge.phpeclipse.webbrowser.views";
 
-  WebBrowser instance = null;
+  WebBrowser fInstance = null;
+  String fUrl = null;
 
   /**
    * Create the example
@@ -38,11 +39,11 @@ public class BrowserView extends ViewPart {
    */
   public void createPartControl(Composite frame) {
     try {
-      if (WebBrowserUtil.canUseInternalWebBrowser()) {
-        instance = new WebBrowser(frame, true, true);
+      if (WebBrowserUtil.isInternalBrowserOperational()) {
+        fInstance = new WebBrowser(frame, true, true);
       } 
     } catch (Exception e) {
-      instance = null;
+      fInstance = null;
     }
   }
 
@@ -52,8 +53,8 @@ public class BrowserView extends ViewPart {
    * @see org.eclipse.ui.part.ViewPart#setFocus
    */
   public void setFocus() {
-    if (instance != null) {
-      instance.setFocus();
+    if (fInstance != null) {
+      fInstance.setFocus();
     }
   }
 
@@ -61,16 +62,17 @@ public class BrowserView extends ViewPart {
    * Called when the View is to be disposed
    */
   public void dispose() {
-    if (instance != null) {
-      instance.dispose();
-      instance = null;
+    if (fInstance != null) {
+      fInstance.dispose();
+      fInstance = null;
     }
     super.dispose();
   }
 
   public void setUrl(final String url) {
-    if (instance != null) {
-      instance.setURL(url);
+    if (fInstance != null) {
+      fUrl = url;
+      fInstance.setURL(url);
       //      try {
       //        ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
       //          public void run(IProgressMonitor monitor) throws CoreException {
@@ -85,8 +87,8 @@ public class BrowserView extends ViewPart {
   }
 
   public void refresh() {
-    if (instance != null) {
-      instance.refresh();
+    if (fInstance != null) {
+      fInstance.refresh();
       //      try {
       //        ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
       //          public void run(IProgressMonitor monitor) throws CoreException {
@@ -100,21 +102,31 @@ public class BrowserView extends ViewPart {
     }
   }
 
+  public void refresh(String url) {
+    if (fInstance != null) {
+      if (fUrl==null || !fUrl.equals(url) ) {
+        setUrl(url);
+      } else {
+        refresh();
+      }
+    }
+  } 
+  
   public void addProgressListener(ProgressListener listener) {
-    if (instance != null) {
-      instance.addProgressListener(listener);
+    if (fInstance != null) {
+      fInstance.addProgressListener(listener);
     }
   }
 
   public void addStatusTextListener(StatusTextListener listener) {
-    if (instance != null) {
-      instance.addStatusTextListener(listener);
+    if (fInstance != null) {
+      fInstance.addStatusTextListener(listener);
     }
   }
 
   public void addTitleListener(TitleListener listener) {
-    if (instance != null) {
-      instance.addTitleListener(listener);
+    if (fInstance != null) {
+      fInstance.addTitleListener(listener);
     }
   }
 }
\ No newline at end of file