diff options
| author | Leif Åstrand <leif@vaadin.com> | 2013-04-22 16:49:10 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-04-23 13:15:12 +0000 |
| commit | 8700691bece5642617d0b031ebc6c5ab33a2118e (patch) | |
| tree | 74fd3d1aa22372646e6f9df1d576f34992ec7f90 /client/src/com/vaadin/Vaadin.gwt.xml | |
| parent | 33e114bd3bb6e764e0e503a69c305ec4322aaa6a (diff) | |
| download | vaadin-framework-8700691bece5642617d0b031ebc6c5ab33a2118e.tar.gz vaadin-framework-8700691bece5642617d0b031ebc6c5ab33a2118e.zip | |
Use java.util.logging for the debug window (#11657)
Change-Id: I1c3e49591253244948d8ce15c8d05170dd49a03a
Diffstat (limited to 'client/src/com/vaadin/Vaadin.gwt.xml')
| -rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml index 6529743503..7316a77292 100644 --- a/client/src/com/vaadin/Vaadin.gwt.xml +++ b/client/src/com/vaadin/Vaadin.gwt.xml @@ -12,7 +12,13 @@ <inherits name="com.google.gwt.http.HTTP" /> <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" /> + <inherits name="com.vaadin.VaadinBrowserSpecificOverrides" /> <source path="client" /> |