advance(currentZoom.withTypeZoomLevel(typeZoom));
}
}
synchronized public void pushFilters(Filter filter) {
ZoomParams currentZoom = filteredEvents.getRequestedZoomParamters().get();
if (currentZoom == null) {
advance(InitialZoomState.withFilter(filter.copyOf()));
} else if (currentZoom.hasFilter(filter) == false) {
advance(currentZoom.withFilter(filter.copyOf()));
}
}