[gwt-contrib] Re: Officially deprecating Opera permutation

2014-06-03 Thread Colin Alworth
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

[gwt-contrib] Re: Officially deprecating Opera permutation

2014-06-03 Thread Colin Alworth
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