diff options
| author | Leif Åstrand <leif@vaadin.com> | 2011-12-01 23:00:49 +0200 |
|---|---|---|
| committer | Leif Åstrand <leif@vaadin.com> | 2011-12-01 23:00:49 +0200 |
| commit | e71fa8c49767497f16a178d7130402be22cf3009 (patch) | |
| tree | 43e4b7f91481b8270a3192b5e27bb7407f772c4b /src/com/vaadin/terminal/WrappedRequest.java | |
| parent | f2598f3b1f61bb885c5c10a52e50446861b16cc1 (diff) | |
| download | vaadin-framework-e71fa8c49767497f16a178d7130402be22cf3009.tar.gz vaadin-framework-e71fa8c49767497f16a178d7130402be22cf3009.zip | |
Pass window.name back to the browser to help detecting browser refresh
Diffstat (limited to 'src/com/vaadin/terminal/WrappedRequest.java')
| -rw-r--r-- | src/com/vaadin/terminal/WrappedRequest.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/com/vaadin/terminal/WrappedRequest.java b/src/com/vaadin/terminal/WrappedRequest.java index e66800b28c..3d95ee7d00 100644 --- a/src/com/vaadin/terminal/WrappedRequest.java +++ b/src/com/vaadin/terminal/WrappedRequest.java @@ -35,6 +35,14 @@ public interface WrappedRequest extends Serializable { * @return the URI hash fragment */ public String getUriFragmet(); + + /** + * Gets the value of window.name from the browser. This can be used to + * keep track of the specific window between browser reloads. + * + * @return the string value of window.name in the browser + */ + public String getWindowName(); } /** |