Browsers support sub pixel rendering and also provide zoom features. Both means that coordinates are doubles in modern browsers but GWT only provides an API to get int based coordinates. In GWT 2.5.1 and below there was no JS code to round these doubles back to int and thats why you see these warnings in DevMode.
However if your app is compiled to JS all Java int, float, doubles are treated the same (as JavaScript number) which means if you have Java code that uses int it can be executed with a double value once it is compiled to JS. This can cause trouble if you want to send these Java ints as Integer to your server using GWT-RPC because serializers can fail then. You should update to GWT 2.6 which rounds values to int. In the future GWT will provide a double based API to access such coordinates. -- J. -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscr...@googlegroups.com. To post to this group, send email to google-web-toolkit@googlegroups.com. Visit this group at http://groups.google.com/group/google-web-toolkit. For more options, visit https://groups.google.com/d/optout.
