Good point, and in fact the values documented in the W3C geolocation API
as 'long' translate to Java 'int':
http://www.w3.org/TR/geolocation-API/
http://dev.w3.org/2006/webapi/WebIDL/#idl-long
On 2010/10/28 18:21:14, zundel wrote:
http://gwt-code-reviews.appspot.com/1060801/diff/3001/4001#newcode211
user/src/com/google/gwt/experimental/geolocation/GeoLocation.java:211:
public
long getMaximumAge() {
sure you want to use long here? There are penalties in GWT for
emulating long
in javascript.
http://gwt-code-reviews.appspot.com/1060801/diff/3001/4001#newcode221
user/src/com/google/gwt/experimental/geolocation/GeoLocation.java:221:
public
long getTimeout() {
sure you want to use long here? penalties in GWT for emulating long
in
javascript.
http://gwt-code-reviews.appspot.com/1060801/show
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
