Removed PortalDefaultWidgetSet (#9337)

diff --git a/WebContent/WEB-INF/portlet.xml b/WebContent/WEB-INF/portlet.xml
index 5faafc5c362e83d6aec3a5c71e54a874f8259581..2f7135fea9ae3330cb2821ffc8d6f42147d7b9c0 100644 (file)
--- 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 (file)
index c127d3b..0000000
--- 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>