diff options
| -rw-r--r-- | server/src/main/java/com/vaadin/ui/UI.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/server/src/main/java/com/vaadin/ui/UI.java b/server/src/main/java/com/vaadin/ui/UI.java index cf9aee4e1a..682e1f38f2 100644 --- a/server/src/main/java/com/vaadin/ui/UI.java +++ b/server/src/main/java/com/vaadin/ui/UI.java @@ -869,6 +869,13 @@ public abstract class UI extends AbstractSingleComponentContainer page.updateLocation(newLocation.toString(), true, false); page.updateBrowserWindowSize(newWidth, newHeight, true); + + // Navigate if there is navigator, this is needed in case of + // PushStateNavigation + Navigator navigator = getNavigator(); + if (navigator != null) { + navigator.navigateTo(navigator.getState()); + } } /** |