diff options
| author | Henri Sara <henri.sara@itmill.com> | 2009-07-09 07:40:37 +0000 |
|---|---|---|
| committer | Henri Sara <henri.sara@itmill.com> | 2009-07-09 07:40:37 +0000 |
| commit | d710cc8b6fd3e6f5e500a437dc37fe03e9f86a83 (patch) | |
| tree | c42aadb3a4d50a510788460e0578f218e1d9854f /src/com/vaadin/portal | |
| parent | 6dce711c23eed65f55b572f869b3c44d07fdd45e (diff) | |
| download | vaadin-framework-d710cc8b6fd3e6f5e500a437dc37fe03e9f86a83.tar.gz vaadin-framework-d710cc8b6fd3e6f5e500a437dc37fe03e9f86a83.zip | |
#3126 portal widgetset is now com.vaadin.portal.gwt.PortalDefaultWidgetSet
svn changeset:8358/svn branch:6.0
Diffstat (limited to 'src/com/vaadin/portal')
| -rw-r--r-- | src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 37 | ||||
| -rw-r--r-- | src/com/vaadin/portal/gwt/client/PortalDefaultWidgetSet.java | 7 |
2 files changed, 44 insertions, 0 deletions
diff --git a/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml new file mode 100644 index 0000000000..fcc38fb66f --- /dev/null +++ b/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml @@ -0,0 +1,37 @@ +<module> + <!-- Inherit the DefaultWidgetSet --> + <inherits name="com.vaadin.demo.sampler.gwt.SamplerWidgetSet" /> + + <!-- + Workaround for IE8 issues. To be removed when a new GWT version + arrives + --> + + <define-property name="vaadin.is.ie8" values="true,false" /> + + <property-provider name="vaadin.is.ie8"><![CDATA[ + var ua = navigator.userAgent.toLowerCase(); + + if (ua.indexOf("msie") != -1) { + if (document.documentMode >= 8) { + return "true"; + } + } + return "false"; + + ]]></property-provider> + + <replace-with class="com.google.gwt.user.client.ui.impl.PopupImpl"> + <when-type-is class="com.google.gwt.user.client.ui.impl.PopupImpl" /> + <when-property-is name="vaadin.is.ie8" value="true" /> + </replace-with> + + <replace-with class="com.google.gwt.user.client.ui.impl.ClippedImageImpl"> + <when-type-is class="com.google.gwt.user.client.ui.impl.ClippedImageImpl" /> + <when-property-is name="vaadin.is.ie8" value="true" /> + </replace-with> + + <!-- Entry point --> + <entry-point class="com.vaadin.portal.gwt.client.PortalDefaultWidgetSet"/> + +</module> diff --git a/src/com/vaadin/portal/gwt/client/PortalDefaultWidgetSet.java b/src/com/vaadin/portal/gwt/client/PortalDefaultWidgetSet.java new file mode 100644 index 0000000000..d28ddc9aca --- /dev/null +++ b/src/com/vaadin/portal/gwt/client/PortalDefaultWidgetSet.java @@ -0,0 +1,7 @@ +package com.vaadin.portal.gwt.client;
+
+import com.vaadin.demo.sampler.gwt.client.SamplerWidgetSet;
+
+public class PortalDefaultWidgetSet extends SamplerWidgetSet {
+
+}
|