/*
 * Copyright 2000-2013 Vaadin Ltd.
 * 
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License. You may obtain a copy of
 * the License at
 * 
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */

package com.vaadin.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

import com.vaadin.shared.communication.PushMode;
import com.vaadin.ui.UI;

/**
 * Defines a specific {@link PushMode} for a {@link UI}.
 * 
 * @author Vaadin Ltd.
 * @since 7.1
 */
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE)
public @interface Push {
    /**
     * Returns the {@link PushMode} to use for the annotated UI.
     * 
     * @return the push mode to use
     */
    public PushMode value();

}

@@ -874,61 +874,267 @@
 %0A * 
-Defines a specific %7B@link PushMode%7D for a %7B@link UI%7D.
+Configures server push for a %7B@link UI%7D. Adding %3Ccode%3E@Push%3C/code%3E to a UI%0A * class configures the UI for automatic push. If some other push mode is%0A * desired, it can be passed as a parameter, e.g.%0A * %3Ccode%3E@Push(PushMode.MANUAL)%3C/code%3E.%0A * %0A * @see PushMode
 %0A * 
@@ -1334,16 +1334,108 @@
 ated UI.
+ The default%0A     * push mode when this annotation is present is %7B@link PushMode#AUTOMATIC%7D.
 %0A     * 
@@ -1506,13 +1506,40 @@
  value()
+ default PushMode.AUTOMATIC
 ;%0A%0A%7D%0A

Set PushMode.AUTOMATIC as the default @Push value (#11653)