diff options
Diffstat (limited to 'client')
| -rw-r--r-- | client/src/main/resources/com/vaadin/Vaadin.gwt.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/client/src/main/resources/com/vaadin/Vaadin.gwt.xml b/client/src/main/resources/com/vaadin/Vaadin.gwt.xml index 739225e594..20951561b7 100644 --- a/client/src/main/resources/com/vaadin/Vaadin.gwt.xml +++ b/client/src/main/resources/com/vaadin/Vaadin.gwt.xml @@ -57,6 +57,9 @@ <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 --> |