Thanks for the info. We didn't do much change in gecko for IE11; mostly skipping workarounds specific to gecko. In general when we refactor stuff we try to provide less specific permutations. I think best of course of action here is to do the same here and hopefully we will eventually converge. That means we need to look at it case-by-case basis and if things get complicated we can either change UserAgent selector to select gecko or introduce a IE11 permutation that fallbacks to gecko.
However regardless of what we do, I think I'll resurrect https://gwt-review.googlesource.com/#/c/4500/ so that people can have more options to deal with this IE11 mess without forking... On Tue, Aug 5, 2014 at 9:21 AM, Jens <[email protected]> wrote: > Not sure if you have already read it but it seems like MS as changed the > user agent string of IE 11 on Windows Phone 8.1 Update 1 to some sort of a > catch-all user agent: > > *Mozilla/5.0 (Mobile; Windows Phone 8.1; Android 4.0; ARM; Trident/7.0; > Touch; rv:11.0; IEMobile/11.0; NOKIA; Lumia 920) like iPhone OS 7_0_3 Mac > OS X AppleWebKit/537 (KHTML, like Gecko) Mobile Safari/537* > > In case of GWT that would mean IE11 will be treated as "safari" on updated > windows phones and as "gecko" otherwise. Seems like a good example why we > should introduce a modern permutation sooner than later in GWT and do > feature checks for the remaining differences. > > But at least we might need to revisit rebind rules in GWT to figure out if > runtime checks introduced in the gecko permutation to support IE 11 are > also executed for the safari permutation. > > > -- J. > > -- > 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/c9619aac-acb0-4fa6-92be-4384c5ade773%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/c9619aac-acb0-4fa6-92be-4384c5ade773%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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/CAN%3DyUA2Kdy8R5KNF6m0wSqDHQbUG_XBy-H7yeWe5P8zA8%2B%3Ddbw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
