From 0cbba9d6f4a65c04ca0e396c440de0c1c25945ec Mon Sep 17 00:00:00 2001 From: Leif Åstrand Date: Thu, 18 Apr 2013 12:35:10 +0300 Subject: Initial support for toggling push on the fly (#11506) Still missing is the ability to load vaadinPush.js if it has not yet been loaded. Change-Id: Ibe3596c38a7c4e3432b0396072866ee3072e6d30 --- shared/src/com/vaadin/shared/ui/ui/UIState.java | 3 +++ 1 file changed, 3 insertions(+) (limited to 'shared') diff --git a/shared/src/com/vaadin/shared/ui/ui/UIState.java b/shared/src/com/vaadin/shared/ui/ui/UIState.java index fbb6427c6f..589744a48c 100644 --- a/shared/src/com/vaadin/shared/ui/ui/UIState.java +++ b/shared/src/com/vaadin/shared/ui/ui/UIState.java @@ -17,6 +17,7 @@ package com.vaadin.shared.ui.ui; import java.io.Serializable; +import com.vaadin.shared.communication.PushMode; import com.vaadin.shared.ui.TabIndexState; public class UIState extends TabIndexState { @@ -24,6 +25,8 @@ public class UIState extends TabIndexState { public LoadingIndicatorConfiguration loadingIndicatorConfiguration = new LoadingIndicatorConfiguration(); public int pollInterval = -1; + public PushMode pushMode = PushMode.DISABLED; + public static class LoadingIndicatorConfiguration implements Serializable { public int initialDelay = 300; public int delayStateDelay = 1500; -- cgit v1.2.3