diff options
Diffstat (limited to 'server/src/com/vaadin/server/Constants.java')
| -rw-r--r-- | server/src/com/vaadin/server/Constants.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/server/src/com/vaadin/server/Constants.java b/server/src/com/vaadin/server/Constants.java index ab91ee021c..8c379abe06 100644 --- a/server/src/com/vaadin/server/Constants.java +++ b/server/src/com/vaadin/server/Constants.java @@ -146,6 +146,11 @@ public interface Constants { // Widget set parameter name static final String PARAMETER_WIDGETSET = "widgetset"; + /** + * @deprecated As of 7.1, this message is no longer used and might be + * removed from the code. + */ + @Deprecated static final String ERROR_NO_UI_FOUND = "No UIProvider returned a UI for the request."; static final String DEFAULT_THEME_NAME = "reindeer"; |