import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowser;
import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUtil;
-import org.eclipse.core.resources.IFile;
import org.eclipse.swt.browser.Browser;
import org.eclipse.swt.browser.CloseWindowListener;
import org.eclipse.swt.browser.ProgressListener;
}
public void setUrl(final String url) {
- if (fInstance != null) {
- fUrl = url;
- fInstance.setURL(url);
+ if (fInstance != null) {
+ if (fInstance.getURL() != null && fInstance.getURL().length() > 0) {
+ fUrl = fInstance.getURL();
+ fInstance.setURL(fUrl);
+ } else {
+ fUrl = url;
+ fInstance.setURL(url);
+ }
// try {
// ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
// public void run(IProgressMonitor monitor) throws CoreException {
return true;
}
}
- if (context.getInput() instanceof IFile) {
- IFile file = (IFile) context.getInput();
- String localhostURL;
- localhostURL = "file:///" + file.getLocation().toString();
- setUrl(localhostURL);
- return true;
- }
+ // *WARNING*
+ // This causes unexpected behaviour such as downloading (save file).
+ // It depends on mime-types setting and native browser, it isn't under control of eclipse.
+ // (IE shows script as plain text since .php is unknown type by default.
+ // Mozilla downloads script file since .php is defined in mimeTypes.rdf as such.)
+ //
+ //if (context.getInput() instanceof IFile) {
+ // IFile file = (IFile) context.getInput();
+ // String localhostURL;
+ // localhostURL = "file:///" + file.getLocation().toString();
+ // setUrl(localhostURL);
+ // return true;
+ //}
return false;
}
}
\ No newline at end of file