Method getAnimator

forge-gui-android/src/forge/app/Main.java:487–495

(Animator play, Animator with, AnimatorListenerAdapter adapter)

    }

    private AnimatorSet getAnimator(Animator play, Animator with, AnimatorListenerAdapter adapter) {
        AnimatorSet animatorSet = new AnimatorSet();
        if (with != null) {
            animatorSet.playSequentially(play, with);
        } else
            animatorSet.play(play);
        animatorSet.addListener(adapter);
        return animatorSet;
    }

    @Override
    public void onBackPressed() {