if (ref == null) {
return;
}
extension.getHistoryList().removeElement(ref);
SiteNode node = ref.getSiteNode();
if (node == null) {
return;
}
Session session = Model.getSingleton().getSession();
SiteMap map = session.getSiteTree();
if (node.getHistoryReference() == ref) {
// same active Node
PopupDeleteMenu.delete(map, node);
} else {
node.getPastHistoryReference().remove(ref);
}
}