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 (first appearance 
in the latest Opera release, so maybe there'll be a Linux release soon, at 
last) or they just don't care.

That said, Google Groups and Google Flight Search fallback to the gecko1_8 
permutation in Opera 12 (with a warning message that it might break), so we 
should probably make it possible at least (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)
Would you mind opening an issue about it?
Maybe there's a workaround though: it might be as easy as defining a 
"unknown" (the value returned by the property generator) value for the 
"user.agent" property that falls back to gecko1_8 (just like ie9 falls back 
to ie8): i.e. <extend-property name="user.agent" values="unknown" 
fallback-value="gecko1_8" />; and then you could use deferred-binding 
specifically for that "unknown" value to display a warning message, and you 
could collapse "unknown" and "gecko1_8" values into the same permutation.
Worth a try IMO if you care about it.

On Friday, May 9, 2014 8:14:55 PM UTC+2, Robert J. Carr wrote:
>
> 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" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit-contributors/14ee2afb-2e39-48b9-aeba-29291c384f10%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to