172173174175176177178179180181182
{ viewUpdated = true; } if (viewUpdated) { EventBus.getInstance().notifyObservers(new HistoryViewsChangedEvent(currentViews)); } // check if the page has changed if (originalPage != currentPage) {