public void widgetSelected(SelectionEvent we) {
try {
if (combo.getSelectionIndex() != -1)
- setURL(combo.getItem(combo.getSelectionIndex()));
+ setURL(combo.getItem(combo.getSelectionIndex()),
+ false);
} catch (Exception e) {
}
}
// else its an editor window
if (shell != null)
shell.dispose();
- else
- editor.closeEditor();
+ else {
+ // #1365431 (toshihiro) editor.closeEditor(); causes NPE
+ if (editor != null)
+ editor.closeEditor();
+ }
}
});
if (newURL != null)
url = newURL;
- if (browse)
+ if (browse) {
navigate(url);
- addToHistory(url);
- updateHistory();
+ addToHistory(url);
+ updateHistory();
+ }
}
protected void addToHistory(String url) {
WebBrowserPreference.getHomePageURL().substring(9));
}
- protected String getURL() {
+ public String getURL() {
return browser.getUrl();
}
combo.setText(temp);
}
- public void addProgressListener(ProgressListener listener) {
- browser.addProgressListener(listener);
- }
+// public void addProgressListener(ProgressListener listener) {
+// browser.addProgressListener(listener);
+// }
- public void addStatusTextListener(StatusTextListener listener) {
- browser.addStatusTextListener(listener);
- }
+// public void addStatusTextListener(StatusTextListener listener) {
+// browser.addStatusTextListener(listener);
+// }
- public void addTitleListener(TitleListener listener) {
- browser.addTitleListener(listener);
- }
+// public void addTitleListener(TitleListener listener) {
+// browser.addTitleListener(listener);
+// }
}
\ No newline at end of file