};
decorator.setFadeIn(AnimationPreference.get());
decorator.setBlocking(true);
decorator.useOkAndCancel();
decorator.setAlpha(0.8f);
decorator.show(container, getPositioner());
filter.requestFocus();
}
private void notifyListeners(ActivityEntryFilterUi<E> filter, FilterListener listener, String originalFilter) {
String newFilter = filter.getFilterString();