private void pushFilterHistory(boolean filterByTranslated,
boolean filterByFuzzy, boolean filterByUntranslated,
boolean filterByApproved, boolean filterByRejected,
boolean filterByHasError, EditorFilter editorFilter) {
HistoryToken token = history.getHistoryToken();
token.setFilterTranslated(filterByTranslated);
token.setFilterFuzzy(filterByFuzzy);
token.setFilterUntranslated(filterByUntranslated);
token.setFilterApproved(filterByApproved);
token.setFilterRejected(filterByRejected);
token.setFilterHasError(filterByHasError);
if (editorFilter != null) {
populateHistoryTokenForEditorFilter(token, editorFilter);
}
history.newItem(token);