I've just opened https://gwt-review.googlesource.com/7780 to make it
possible to specify a fallback for any/all useragents that don't match one
of the built-in rules, via a rule like:
set-property-fallback name=user.agent value=webkit/
This example rule treats any unknown useragent as if
Sorry, that first line should say 'safari' (or any other valid user.agent
value), not 'webkit'. Wishful thinking perhaps...
set-property-fallback name=user.agent value=*safari*/
--
You received this message because you are subscribed to the Google Groups GWT
Contributors group.
To unsubscribe