/**
* Try to remove a View object from the history.
*
* @param view com.compendium.core.datamodel.View, the view to add to the history.
*/
public void removeFromHistory(View view) {
history.remove(view);
}
/**
* Try to remove a View object from the history.
*
* @param view com.compendium.core.datamodel.View, the view to add to the history.
*/
public void removeFromHistory(View view) {
history.remove(view);
}
