From 75141d2b0bf08ff018695d758c573d6f3c673d04 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Leif=20=C3=85strand?= Date: Thu, 15 Dec 2011 14:20:31 +0200 Subject: [PATCH] Check for client side details for all requests --- src/com/vaadin/terminal/gwt/server/WebBrowser.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/com/vaadin/terminal/gwt/server/WebBrowser.java b/src/com/vaadin/terminal/gwt/server/WebBrowser.java index bd25fa5675..8257bfae87 100644 --- a/src/com/vaadin/terminal/gwt/server/WebBrowser.java +++ b/src/com/vaadin/terminal/gwt/server/WebBrowser.java @@ -394,8 +394,7 @@ public class WebBrowser implements Terminal { browserDetails = new VBrowserDetails(agent); } - if (request.getParameter("repaintAll") != null - || request.getParameter("browserDetails") != null) { + if (request.getParameter("sw") != null) { updateClientSideDetails(request.getParameter("sw"), request.getParameter("sh"), request.getParameter("tzo"), request.getParameter("rtzo"), request.getParameter("dstd"), -- 2.39.5