/** Updates the history controls. */
private void updateHistoryControls() {
historyToolbar.update(false);
IContributionItem[] items = historyToolbar.getItems();
for (int i = 0; i < items.length; i++) {
items[i].update(IAction.ENABLED);
items[i].update(IAction.TOOL_TIP_TEXT);
}
}
