Code conditional on iOS

Is there a non-JSNI way of detecting whether a user is on iOS, specifically iOS 6. We had a bug introduced in our app that happens only on iOS6. It has to do with how two different panels are inserted into the DOM and whether they accept mouse down events. The method we have now works everywhere except on iOS 6 (it works on earlier versions). We have a workaround that works in iOS 6 but it has other minor quirks in the other browsers so we want to implement it only in iOS.

For now, we're using a JSNI method to retrieve the userAgent client-side. I'd like to use Deferred Binding but as far as I know, I can't use it specifically for iOS, just gecko1_8, safari, etc.

--
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To view this discussion on the web visit https://groups.google.com/d/msg/google-web-toolkit/-/7K3sn6xWxRoJ.
To post to this group, send email to google-web-toolkit@googlegroups.com.
To unsubscribe from this group, send email to google-web-toolkit+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.