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) {