In the meantime, just force IE10 to render it as IEXX, like IE9. Do this by including the following in your web page: <meta http-equiv="X-UA-Compatible" content="IE=7,8,9">
BTW: it's always good to (always) put this in your website, to ensure unpredictable issues when IE comes out with a new version. I had that in the (past) and people started calling me that the website didn't work anymore (IE10)... In this way, you are always in control, and not IE... - Ed -- 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/-/Hwk0zuqf97kJ. To post to this group, send email to google-web-toolkit@googlegroups.com. To unsubscribe from this group, send email to google-web-toolkit+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.