[gwt-contrib] Re: Officially deprecating Opera permutation

2014-06-04 Thread Thomas Broyer
On Wednesday, June 4, 2014 5:43:58 AM UTC+2, Colin Alworth wrote: 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

[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

[gwt-contrib] Re: Officially deprecating Opera permutation

2014-05-13 Thread Mihai Stanciu
Google uses a server-side selection script based on the User-Agent request header, rather than the *.nocache.js using navigator.userAgent on the client-side) This sounds like a very nice optimisation. Do you know if there is any plugin for doing this in a servlet container /jsp? How could

[gwt-contrib] Re: Officially deprecating Opera permutation

2014-05-13 Thread Jens
Google uses a server-side selection script based on the User-Agent request header, rather than the *.nocache.js using navigator.userAgent on the client-side) This sounds like a very nice optimisation. Do you know if there is any plugin for doing this in a servlet container /jsp? How

[gwt-contrib] Re: Officially deprecating Opera permutation

2014-05-10 Thread Robert J. Carr
This just burned me. Just curious why you couldn't have it load the file from firefox or webkit instead of just doing nothing? Better to deal with potential errors than to be a total non-starter. -- You received this message because you are subscribed to the Google Groups GWT Contributors

[gwt-contrib] Re: Officially deprecating Opera permutation

2014-05-10 Thread Thomas Broyer
Opera on Linux is basically dead. There's not been a non-security-only or non-crash-fix-only release for 18 months (http://www.opera.com/docs/changelogs/unified/1210/) Opera has moved to Chromium for more than a year and still not released anything on Linux. Either they waited for the Aura port