From cb8df753212908cb67aebd550d45ee8d8083ff89 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Leif=20=C3=85strand?= Date: Tue, 9 Jul 2013 09:36:26 +0300 Subject: [PATCH] Add deprecation message to unused constant Change-Id: Ifcc4e021fa3843129f6501d6526e4d4f5c6930fb --- server/src/com/vaadin/server/Constants.java | 5 +++++ 1 file changed, 5 insertions(+) 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"; -- 2.39.5