import java.io.UnsupportedEncodingException;
import java.net.URLDecoder;
-import java.nio.charset.Charset;
import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowser;
import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUtil;
super.dispose();
}
+ public String getUrl() {
+ if (fInstance != null) {
+ return fInstance.getURL();
+ } else {
+ return null;
+ }
+ }
+
public void setUrl(final String url) {
if (fInstance != null) {
- fUrl = url;
- fInstance.setURL(url);
+ fUrl = url;
+ fInstance.setURL(url);
// try {
// ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
// public void run(IProgressMonitor monitor) throws CoreException {
}
}
+
+
public void refresh(String url) {
if (fInstance != null && url != null) {
if (fUrl == null) {
if (browser != null) {
String browserUrl = browser.getUrl();
try {
- browserUrl = URLDecoder.decode(browserUrl, Charset.defaultCharset().name());
+ browserUrl = URLDecoder.decode(browserUrl, J5CharsetEmulator.defaultCharset().name());
} catch (UnsupportedEncodingException e) {
// e.printStackTrace();
}