avoid Assert.isTrue()

[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / views / BrowserView.java

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 36cf147..4636163 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
@@ -20,6 +20,9 @@ import org.eclipse.core.runtime.IProgressMonitor;
 import org.eclipse.core.runtime.IStatus;
 import org.eclipse.core.runtime.Status;
 import org.eclipse.core.runtime.jobs.Job;
+import org.eclipse.swt.browser.ProgressListener;
+import org.eclipse.swt.browser.StatusTextListener;
+import org.eclipse.swt.browser.TitleListener;
 import org.eclipse.swt.widgets.Composite;
 import org.eclipse.ui.part.ViewPart;
 
@@ -73,31 +76,51 @@ public class BrowserView extends ViewPart {
 
   public void setUrl(final String url) {
     if (instance != null) {
-      try {
-        ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
-          public void run(IProgressMonitor monitor) throws CoreException {
-            instance.setURL(url);
-          }
-        }, null);
-      } catch (CoreException e) {
-        // TODO Auto-generated catch block
-        e.printStackTrace();
-      }
+      instance.setURL(url);
+      //      try {
+      //        ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
+      //          public void run(IProgressMonitor monitor) throws CoreException {
+      //            instance.setURL(url);
+      //          }
+      //        }, null);
+      //      } catch (CoreException e) {
+      //        // TODO Auto-generated catch block
+      //        e.printStackTrace();
+      //      }
     }
   }
 
   public void refresh() {
     if (instance != null) {
-      try {
-        ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
-          public void run(IProgressMonitor monitor) throws CoreException {
-            instance.refresh();
-          }
-        }, null);
-      } catch (CoreException e) {
-        // TODO Auto-generated catch block
-        e.printStackTrace();
-      }
+      instance.refresh();
+      //      try {
+      //        ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
+      //          public void run(IProgressMonitor monitor) throws CoreException {
+      //            instance.refresh();
+      //          }
+      //        }, null);
+      //      } catch (CoreException e) {
+      //        // TODO Auto-generated catch block
+      //        e.printStackTrace();
+      //      }
+    }
+  }
+
+  public void addProgressListener(ProgressListener listener) {
+    if (instance != null) {
+      instance.addProgressListener(listener);
+    }
+  }
+
+  public void addStatusTextListener(StatusTextListener listener) {
+    if (instance != null) {
+      instance.addStatusTextListener(listener);
+    }
+  }
+
+  public void addTitleListener(TitleListener listener) {
+    if (instance != null) {
+      instance.addTitleListener(listener);
     }
   }
 }
\ No newline at end of file