Better event handling for browser preview refreshs in Wikipedia plugin

diff --git a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/views/BrowserView.java b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/views/BrowserView.java
index 3cd384e..d9a386e 100644 (file)
--- a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/views/BrowserView.java
+++ b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/views/BrowserView.java
@@ -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
@@ -39,10 +40,10 @@ public class BrowserView extends ViewPart {
   public void createPartControl(Composite frame) {
     try {
       if (WebBrowserUtil.isInternalBrowserOperational()) {
-        instance = new WebBrowser(frame, true, true);
+        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