vaadin-framework/client/src/main/resources/com/vaadin/Vaadin.gwt.xml

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.8.2//EN" "http://www.gwtproject.org/doctype/2.8.2/gwt-module.dtd">
<module>
    <!-- This GWT module inherits all Vaadin client side functionality modules.
        This is the module you want to inherit in your client side project to be
        able to use com.vaadin.* classes. -->

    <!-- Hint for WidgetSetBuilder not to automatically update the file -->
    <!-- WS Compiler: manually edited -->

    <inherits name="com.google.gwt.user.User" />

    <inherits name="com.google.gwt.http.HTTP" />

    <inherits name="com.google.gwt.logging.Logging" />
    <set-property name="gwt.logging.enabled" value="TRUE" />

    <source path="client" />
    <source path="shared" />

    <!-- Use own Scheduler implementation to be able to track if commands
        are running -->
    <replace-with class="com.vaadin.client.VSchedulerImpl">
        <when-type-is class="com.google.gwt.core.client.impl.SchedulerImpl" />
    </replace-with>

    <replace-with
        class="com.vaadin.client.communication.AtmospherePushConnection">
        <when-type-is class="com.vaadin.client.communication.PushConnection" />
    </replace-with>

    <!-- Set vaadin.profiler to true to include profiling support in the
        module -->
    <define-property name="vaadin.profiler" values="true,false" />
    <set-property name="vaadin.profiler" value="false" />

    <replace-with class="com.vaadin.client.Profiler.EnabledProfiler">
        <when-type-is class="com.vaadin.client.Profiler" />
        <when-property-is name="vaadin.profiler" value="true" />
    </replace-with>

    <!-- Use the new cross site linker to get a nocache.js without document.write -->
    <add-linker name="xsiframe" />

    <set-property name="user.agent" value="gecko1_8,safari" />

    <!-- Pointer event support -->
    <define-property name="modernie" values="none,yes" />
    <property-provider name="modernie"><![CDATA[
      {
        var ua = $wnd.navigator.userAgent;
        if (ua.indexOf('MSIE') == -1 && ua.indexOf('Trident') != -1) { return 'yes'; }
        return 'none';
      }
    ]]></property-provider>

    <set-property name="modernie" value="none">
        <none>
            <when-property-is name="user.agent" value="gecko1_8" />
        </none>
    </set-property>

    <!-- If no proper user agent is found, at least try some, e.g. with crawlers -->
    <set-property-fallback name="user.agent" value="safari" />

    <!-- Fall through to this rule when the browser doesn't support pointer
        event -->
    <replace-with class="com.vaadin.client.event.PointerEventSupportImpl">
        <when-type-is class="com.vaadin.client.event.PointerEventSupportImpl" />
    </replace-with>

    <replace-with
        class="com.vaadin.client.event.PointerEventSupportImplModernIE">
        <when-type-is class="com.vaadin.client.event.PointerEventSupportImpl" />
        <none>
            <when-property-is value="none" name="modernie" />
        </none>
    </replace-with>

    <replace-with
        class="com.vaadin.client.communication.DefaultConnectionStateHandler">
        <when-type-is
            class="com.vaadin.client.communication.ConnectionStateHandler" />
    </replace-with>

    <!-- Make Sass linking available -->
    <define-linker name="sass"
        class="com.vaadin.sass.linker.SassLinker" />

</module>