1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
| final HistoryListener historyListener = new HistoryListener() {
public void onHistoryChanged(String historyToken) {
TreeItem item = itemTokens.get(historyToken);
if (item == null) {
item = app.getMainMenu().getItem(0).getChild(0);
}
// Select the associated TreeItem
app.getMainMenu().setSelectedItem(item, false);
app.getMainMenu().ensureSelectedItemVisible();
// Show the associated ContentWidget
displayContentWidget(itemWidgets.get(item));
}
};
History.addHistoryListener(historyListener); |