diff options
Diffstat (limited to 'src/com/vaadin/Application.java')
-rw-r--r-- | src/com/vaadin/Application.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/com/vaadin/Application.java b/src/com/vaadin/Application.java index 58ad4da684..dbf71408a9 100644 --- a/src/com/vaadin/Application.java +++ b/src/com/vaadin/Application.java @@ -194,6 +194,7 @@ public class Application implements Terminal.ErrorListener, Serializable { * @see #getWindow(String) * @see Application#getRoot(WrappedRequest) */ + @Override public Root.LegacyWindow getRoot(WrappedRequest request) { String pathInfo = request.getRequestPathInfo(); @@ -246,6 +247,7 @@ public class Application implements Terminal.ErrorListener, Serializable { * <p> * {@inheritDoc} */ + @Override public String getThemeForRoot(Root root) { return theme; @@ -1066,7 +1068,7 @@ public class Application implements Terminal.ErrorListener, Serializable { * the change event. * @see com.vaadin.terminal.Terminal.ErrorListener#terminalError(com.vaadin.terminal.Terminal.ErrorEvent) */ - @Override + public void terminalError(Terminal.ErrorEvent event) { final Throwable t = event.getThrowable(); if (t instanceof SocketException) { @@ -1811,7 +1813,6 @@ public class Application implements Terminal.ErrorListener, Serializable { this.throwable = throwable; } - @Override public Throwable getThrowable() { return throwable; } |