<module>
- <!-- Inherit the DefaultWidgetSet -->
+ <!-- Inherit the SamplerWidgetSet -->
<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"/>