diff options
| author | Artur Signell <artur@vaadin.com> | 2012-09-10 12:31:03 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-09-10 12:31:13 +0300 |
| commit | 448d56cc85518eb55dbd3113b81a7998a4b914e1 (patch) | |
| tree | c4808632bfe02209cfa5e4592ef2e8df7a3badf8 | |
| parent | def6b2fee7f8922e73858b15c956c11276adf176 (diff) | |
| download | vaadin-framework-448d56cc85518eb55dbd3113b81a7998a4b914e1.tar.gz vaadin-framework-448d56cc85518eb55dbd3113b81a7998a4b914e1.zip | |
Removed PortalDefaultWidgetSet (#9337)
| -rw-r--r-- | WebContent/WEB-INF/portlet.xml | 2 | ||||
| -rw-r--r-- | client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 6 |
2 files changed, 1 insertions, 7 deletions
diff --git a/WebContent/WEB-INF/portlet.xml b/WebContent/WEB-INF/portlet.xml index 5faafc5c36..2f7135fea9 100644 --- a/WebContent/WEB-INF/portlet.xml +++ b/WebContent/WEB-INF/portlet.xml @@ -13,7 +13,7 @@ </init-param> <init-param> <name>widgetset</name> - <value>com.vaadin.portal.gwt.PortalDefaultWidgetSet</value> + <value>com.vaadin.DefaultWidgetSet</value> </init-param> <supports> <mime-type>text/html</mime-type> diff --git a/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml deleted file mode 100644 index c127d3bb21..0000000000 --- a/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml +++ /dev/null @@ -1,6 +0,0 @@ -<module> - <!-- WS Compiler: manually edited --> - - <!-- Inherit the DefaultWidgetSet --> - <inherits name="com.vaadin.DefaultWidgetSet" /> -</module> |