diff options
| author | Artur Signell <artur@vaadin.com> | 2012-08-29 12:36:15 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-08-29 12:36:15 +0300 |
| commit | 76b5bfdfb921cad6aee387b04ce15017a093dd25 (patch) | |
| tree | e025694f19745b9e77dbf6b66fe5332f53756337 /server/src | |
| parent | d10c5306b3eb24e5786d604420631a92e7fd3216 (diff) | |
| download | vaadin-framework-76b5bfdfb921cad6aee387b04ce15017a093dd25.tar.gz vaadin-framework-76b5bfdfb921cad6aee387b04ce15017a093dd25.zip | |
Additional fixes for com.vaadin.terminal removal (#9431, #9432)
Diffstat (limited to 'server/src')
| -rw-r--r-- | server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 2 | ||||
| -rw-r--r-- | server/src/com/vaadin/server/Constants.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml index bd91d05b02..c127d3bb21 100644 --- a/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml +++ b/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml @@ -2,5 +2,5 @@ <!-- WS Compiler: manually edited --> <!-- Inherit the DefaultWidgetSet --> - <inherits name="com.vaadin.terminal.gwt.DefaultWidgetSet" /> + <inherits name="com.vaadin.DefaultWidgetSet" /> </module> diff --git a/server/src/com/vaadin/server/Constants.java b/server/src/com/vaadin/server/Constants.java index 9fe2b93224..afb2d4dae1 100644 --- a/server/src/com/vaadin/server/Constants.java +++ b/server/src/com/vaadin/server/Constants.java @@ -81,7 +81,7 @@ public interface Constants { static final String WIDGETSET_DIRECTORY_PATH = "VAADIN/widgetsets/"; // Name of the default widget set, used if not specified in web.xml - static final String DEFAULT_WIDGETSET = "com.vaadin.terminal.gwt.DefaultWidgetSet"; + static final String DEFAULT_WIDGETSET = "com.vaadin.DefaultWidgetSet"; // Widget set parameter name static final String PARAMETER_WIDGETSET = "widgetset"; |