class HistoryEventHandlerService implements ValueChangeHandler<String> {

    protected void processForDocumentListPresenter(HistoryToken token) {
        if (!equal(token.getDocFilterExact(),
                currentHistoryState.getDocFilterExact())
                || !equal(token.getDocFilterText(),
                        currentHistoryState.getDocFilterText())
                || !equal(token.isDocFilterCaseSensitive(),
                        currentHistoryState.isDocFilterCaseSensitive())) {
            Log.info("[gwt-history] document list filter has changed");
            documentListPresenter
                    .updateFilterAndRun(token.getDocFilterText(),
                            token.getDocFilterExact(),
                            token.isDocFilterCaseSensitive());
        }
    }

    @Inject public  HistoryEventHandlerService(EventBus eventBus,
            DocumentListPresenter documentListPresenter,
            AppPresenter appPresenter,
            SearchResultsPresenter searchResultsPresenter,
            GetTransUnitActionContextHolder getTransUnitActionContextHolder,
            ModalNavigationStateHolder modalStateHolder,
            UserConfigHolder configHolder);

}