}
}
private void updateHistory(int offset) {
BrowserServices services = detailPane.getBrowserServices();
TreePath treePath = services.getBrowserComponent().getTreePane().getTree().getSelectionPath();
BrowserHistory history = services.getBrowserComponent().getHistory();
history.updateHistory(treePath, offset);
}