diff options
Diffstat (limited to 'client/src/com/vaadin/Vaadin.gwt.xml')
| -rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml index aad0563975..5e8f08fe22 100644 --- a/client/src/com/vaadin/Vaadin.gwt.xml +++ b/client/src/com/vaadin/Vaadin.gwt.xml @@ -13,11 +13,7 @@ <inherits name="com.google.gwt.json.JSON" /> <inherits name="com.google.gwt.logging.Logging" /> - <!-- Firebug handler is deprecated but for some reason still enabled - by default --> - <set-property name="gwt.logging.firebugHandler" value="DISABLED" /> - <!-- Disable popup logging as we have our own popup logger --> - <set-property name="gwt.logging.popupHandler" value="DISABLED" /> + <set-property name="gwt.logging.enabled" value="TRUE" /> <inherits name="com.vaadin.VaadinBrowserSpecificOverrides" /> @@ -58,10 +54,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,opera" /> + <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari" /> <!-- Pointer event support --> <define-property name="modernie" values="none,yes" /> |