public void widgetSelected(SelectionEvent we) {
try {
if (combo.getSelectionIndex() != -1)
- setURL(combo.getItem(combo.getSelectionIndex()));
+ setURL(combo.getItem(combo.getSelectionIndex()),
+ false);
} catch (Exception e) {
}
}
shell.dispose();
else {
// #1365431 (toshihiro) editor.closeEditor(); causes NPE
- if (editor != null) editor.closeEditor();
+ 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) {