1) Fire 'Terminate' event on every thread on script termination. Fixes bug #1548528.

[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / IWebBrowserEditorInput.java

diff --git a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/IWebBrowserEditorInput.java b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/IWebBrowserEditorInput.java
index eee17db..58af19f 100644 (file)
--- a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/IWebBrowserEditorInput.java
+++ b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/IWebBrowserEditorInput.java
@@ -11,6 +11,7 @@
 package net.sourceforge.phpeclipse.webbrowser;
 
 import java.net.URL;
+
 import org.eclipse.ui.IEditorInput;
 /**
  * The editor input for the Web browser editor. If the