From b9038a9d98dad7abdbd5653030ee0034eecc659b Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Wed, 21 Nov 2012 10:29:23 +0200 Subject: [PATCH] Renamed setBrowserWindowSize -> updateBrowserWindowSize (#10305) Change-Id: I630cdc0cf4cc83646d1dbe8513f81f5ddd6aa7d7 --- server/src/com/vaadin/server/Page.java | 2 +- server/src/com/vaadin/ui/UI.java | 2 +- .../minitutorials/v7b1/AxessingWebPageAndBrowserInfoUI.java | 2 -- 3 files changed, 2 insertions(+), 4 deletions(-) diff --git a/server/src/com/vaadin/server/Page.java b/server/src/com/vaadin/server/Page.java index 501172f80a..6746eadc58 100644 --- a/server/src/com/vaadin/server/Page.java +++ b/server/src/com/vaadin/server/Page.java @@ -472,7 +472,7 @@ public class Page implements Serializable { * @param height * The new height */ - public void setBrowserWindowSize(int width, int height) { + public void updateBrowserWindowSize(int width, int height) { boolean fireEvent = false; if (width != browserWindowWidth) { diff --git a/server/src/com/vaadin/ui/UI.java b/server/src/com/vaadin/ui/UI.java index 83936a7478..f6101be916 100644 --- a/server/src/com/vaadin/ui/UI.java +++ b/server/src/com/vaadin/ui/UI.java @@ -163,7 +163,7 @@ public abstract class UI extends AbstractSingleComponentContainer implements public void resize(int viewWidth, int viewHeight, int windowWidth, int windowHeight) { // TODO We're not doing anything with the view dimensions - getPage().setBrowserWindowSize(windowWidth, windowHeight); + getPage().updateBrowserWindowSize(windowWidth, windowHeight); } }; diff --git a/uitest/src/com/vaadin/tests/minitutorials/v7b1/AxessingWebPageAndBrowserInfoUI.java b/uitest/src/com/vaadin/tests/minitutorials/v7b1/AxessingWebPageAndBrowserInfoUI.java index 8fb7536190..4fbe62a2ce 100644 --- a/uitest/src/com/vaadin/tests/minitutorials/v7b1/AxessingWebPageAndBrowserInfoUI.java +++ b/uitest/src/com/vaadin/tests/minitutorials/v7b1/AxessingWebPageAndBrowserInfoUI.java @@ -33,8 +33,6 @@ public class AxessingWebPageAndBrowserInfoUI extends AbstractTestUI { UI someUI = this; Page page = someUI.getPage(); - page.setBrowserWindowSize(page.getBrowserWindowWidth() + 10, - page.getBrowserWindowHeight() + 10); page.addBrowserWindowResizeListener(new BrowserWindowResizeListener() { @Override public void browserWindowResized(BrowserWindowResizeEvent event) { -- 2.39.5