diff options
| -rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml index 50600c5cbb..d4eb454e86 100644 --- a/client/src/com/vaadin/Vaadin.gwt.xml +++ b/client/src/com/vaadin/Vaadin.gwt.xml @@ -59,8 +59,9 @@ <!-- Use the new cross site linker to get a nocache.js without document.write --> <add-linker name="xsiframe" /> + <extend-property name="user.agent" values="opera" /> <!-- Remove IE6/IE7 permutation as they are not supported --> - <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari" /> + <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari,opera" /> </module> |